Н. Д. Петухова, “Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method”, CTE, no. 4, pp. 17-25, Jul. 2017.