Петухова Н. Д. Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method // Computer Tools in Education. St. Petersburg, Russia, 2017. № 4. Pp. 17-25.