Васильев С.Н., Дружинин А.Э., Морозов Н.Ю. К автоматизации вывода теорем редукции / Тезисы докладов Международной научной конференции, посвященной 85-летию академика И.В. Прангишвили «Информационные и компьютерные технологии, моделирование, управление» (Тбилиси, 2015). Тбилиси: ГТУ, 2015. С. 19.