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