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