2 citations to https://www.mathnet.ru/rus/al763

1. Т. М. Косовская, Д. А. Петров, “Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта”, Вестн. С.-Петербург. ун-та. Сер. 10. Прикл. матем. Информ. Проц. упр., 13:3 (2017), 250–263      
2. Alexandr V. Seliverstov, Lecture Notes in Computer Science, 10304, Computer Science – Theory and Applications, 2017, 285