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