@article{ITA_1981__15_4_373_0, author = {Raoult, Jean-Claude}, title = {Finiteness results on rewriting systems}, journal = {RAIRO. Informatique th\'eorique}, pages = {373--391}, publisher = {EDP-Sciences}, volume = {15}, number = {4}, year = {1981}, zbl = {0491.03015}, mrnumber = {670730}, language = {en}, url = {http://www.numdam.org/item/ITA_1981__15_4_373_0/} }