Косовская, Т. М.; Петров, Д. А. Выделение наибольшей общей подформулы предикатных формул для решения ряда задач искусственного интеллекта. ВЕСТНИК.СПбГУ.ПМ.И.ПУ 2017, 13, 250–263.