Петухова Н. Д. Выделение максимальной общей предикатной подформулы с помощью обратного метода Маслова // Comput. Tools Educ. Санкт-Петербург, Россия, 2017. № 4. сс. 17-25.