R. V. Book and F. Otto, String Rewriting Systems. Text and monographs in Computer Science, 1993.

H. Comon, On unification of terms with integer exponents, Mathematical Systems Theory, vol.28, issue.1, pp.67-88, 1995.
DOI : 10.1007/BF01294596

E. Contejean, C. Marché, B. Monate, and X. Urbain, Cime version 2, 2000.

N. Dershowitz and J. Jouannaud, Rewrite Systems, pp.243-309, 1990.
DOI : 10.1016/B978-0-444-88074-1.50011-1

M. Hermann and R. Galbav´ygalbav´y, 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

N. Peltier, A Unified View of Tree Automata and Term Schematisations, IFIP TCS, pp.491-505, 2008.
DOI : 10.1007/978-0-387-09680-3_33

G. Salzer, The unification of infinite sets of terms and its applications, Proc. LPAR 92, pp.409-421, 1992.
DOI : 10.1007/BFb0013079