КОСОВСКАЯ, Татьяна Матвеевна; ПЕТРОВ, Дмитрий Андреевич. Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта. Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления, [S. l.], v. 13, n. 3, p. 250–263, 2017. DOI: 10.21638/11701/spbu10.2017.303. Disponível em: https://applmathjournal.spbu.ru/article/view/90. Acesso em: 18 янв. 2025.