Петухова НД. Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method. Comput. Tools Educ. [Internet]. 2017 Jul. 29 [cited 2026 Nov. 2];(4):17-25. Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1459