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