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