ПЕТУХОВА, Н. Д. Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method. Computer Tools in Education, n. 4, p. 17-25, 29 Jul. 2017.