Косовская, Татьяна Матвеевна, и Дмитрий Андреевич Петров. «Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта». Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления 13, no. 3 (сентябрь 12, 2017): 250–263. просмотрено январь 18, 2025. https://applmathjournal.spbu.ru/article/view/90.