Волченко, М. В. Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз’юнктів. Вісник НТУ "ХПІ" 2012, 55-62.