Петухова НД. Выделение максимальной общей предикатной подформулы с помощью обратного метода Маслова. Comput. Tools Educ. [Интернет]. 29 июль 2017 г. [цитируется по 2 ноябрь 2026 г.];(4):17-25. доступно на: http://cte.eltech.ru/ojs/index.php/kio/article/view/1459