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