Петухова, Н. Д. “Maximal Common Predicate Sub-Formula Extraction With the Use of Maslov’s Inverse Method”. Computer Tools in Education, no. 4, July 2017, pp. 17-25, http://cte.eltech.ru/ojs/index.php/kio/article/view/1459.