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