Петухова, Н.Д. (2017) “Maximal common predicate sub-formula extraction with the use of Maslov’s inverse method”, Computer Tools in Education, (4), pp. 17–25. Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1459 (Accessed: 1 August 2026).