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