Прохоров А. В. Алгоритм унификации в методе резолюций для логики предикатов / А. В. Прохоров, В. П. Прохоров // Радиоэлектроника и информатика. – 2017. – № 4(79). – С. 53–57.
Складова документа:
Радиоэлектроника и информатика : научно-технический журнал. № 4(79) / ХТУРЭ // Радиоэлектроника и информатика. – Харьков, 2017