Finiteness results on rewriting systemsJean-Claude RaoultRAIRO. Inform. théor., 15 4 (1981) 373-391DOI: https://doi.org/10.1051/ita/1981150403731
