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