Construction d'un plus petit ordre de simplification J. P. Jouannaud and H. Kirchner RAIRO. Inform. théor., 18 3 (1984) 191-208 Published online: 01 February 2017 DOI: 10.1051/ita/1984180301911