String Rewriting Systems. Text and monographs in Computer Science, 1993. ,
On unification of terms with integer exponents, Mathematical Systems Theory, vol.28, issue.1, pp.67-88, 1995. ,
DOI : 10.1007/BF01294596
Cime version 2, 2000. ,
Rewrite Systems, pp.243-309, 1990. ,
DOI : 10.1016/B978-0-444-88074-1.50011-1
Unification of infinite sets of terms schematized by primal grammars, Theoretical Computer Science, vol.176, issue.1-2, pp.111-158, 1997. ,
DOI : 10.1016/S0304-3975(96)00052-7
A Unified View of Tree Automata and Term Schematisations, IFIP TCS, pp.491-505, 2008. ,
DOI : 10.1007/978-0-387-09680-3_33
The unification of infinite sets of terms and its applications, Proc. LPAR 92, pp.409-421, 1992. ,
DOI : 10.1007/BFb0013079