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