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