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