Finiteness results on rewriting systems Jean-Claude Raoult RAIRO. Inform. théor., 15 4 (1981) 373-391 Published online: 01 February 2017 DOI: 10.1051/ita/1981150403731