Петухова, Н. Д. (2017). Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method. Computer Tools in Education, 4, 17-25. http://cte.eltech.ru/ojs/index.php/kio/article/view/1459