Прохоров, А. В.Прохоров, В. П.2018-05-302018-05-302017Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4. – С. 53-57http://openarchive.nure.ua/handle/document/5637ruArticle