Петухова Н. Д. Выделение максимальной общей предикатной подформулы с помощью обратного метода Маслова // Компьютерные инструменты в образовании. Санкт-Петербург, Россия, 2017. № 4. сс. 17-25.