Волченко, М. В. (2012) «Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз’юнктів», Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, (33), с. 55–62. доступний у: http://vestnik2079-5459.khpi.edu.ua/article/view/5108 (дата звернення: 23Листопад2024).