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