%0 Journal Article %A Jouannaud, J. P. %A Kirchner, H. %T Construction d'un plus petit ordre de simplification %J RAIRO. Informatique théorique %D 1984 %P 191-208 %V 18 %N 3 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1984__18_3_191_0/ %G fr %F ITA_1984__18_3_191_0