Construction d'un plus petit ordre de simplificationJ. P. Jouannaud and H. KirchnerRAIRO. Inform. théor., 18 3 (1984) 191-208DOI: https://doi.org/10.1051/ita/1984180301911
