ВОЛЧЕНКО, М. В. Оптимізація алгоритму резолюції в логіці висловлювань за допомогою 0,1-ного уявлення диз’юнктів. Вісник Національного технічного університету «ХПІ». Серія: Нові рішення у сучасних технологіях, [S. l.], n. 33, p. 55–62, 2012. Disponível em: http://vestnik2079-5459.khpi.edu.ua/article/view/5108. Acesso em: 23 лис. 2024.