Петухова, Нина Дмитриевна. «Выделение максимальной общей предикатной подформулы с помощью обратного метода Маслова». Компьютерные инструменты в образовании, вып. 4, июль 2017 г., сс. 17-25, http://cte.eltech.ru/ojs/index.php/kio/article/view/1459.