Косовская, Т. М. и Петров, Д. А. (2017) «Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта», Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления, 13(3), сс. 250–263. doi: 10.21638/11701/spbu10.2017.303.