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