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