1. BRAINERS: Tree-generating regular systems, Info and control (1969)
2. G.W. BRAMS: Reseaux de Petri:theorie et pratique, tomes 1&2, Masson, Paris (1983)
3. CHEW: An improved algorithm for computing with equations, 21st FOCS (1980)
4. DAUCHET, HEUILLARD, LESCANNE, TISON: The confluence of ground term tewriting systems is decidable,2nd LICS (1987)
5. DAUCHET & TISON: Tree automata and decidability in ground term rewriting systems FCT' 85 (LNCS no 199)