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