Петухова, Н. Д. Maximal Common Predicate Sub-Formula Extraction With the Use of Maslov’s Inverse Method. CTE 2017, 17-25.