Волченко МВ. Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз’юнктів. Вісник НТУ "ХПІ" [інтернет]. 01, Липень 2012 [цит. за 02, Травень 2024];(33):55-62. доступний у: http://vestnik2079-5459.khpi.edu.ua/article/view/5108