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