%0 Journal Article %A Raoult, Jean-Claude %T Finiteness results on rewriting systems %J RAIRO. Informatique théorique %D 1981 %P 373-391 %V 15 %N 4 %I EDP-Sciences %G en %F ITA_1981__15_4_373_0