%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
%U http://www.numdam.org/item/ITA_1981__15_4_373_0/
%G en
%F ITA_1981__15_4_373_0