Finiteness results on rewriting systems

Raoult, Jean-Claude

RAIRO. Informatique théorique, Volume 15 (1981) p. 373-391