Construction d'un plus petit ordre de simplification J. P. Jouannaud; H. Kirchner — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications