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