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