%0 Journal Article %A Lescanne, Pierre %T Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems %J RAIRO. Informatique théorique %D 1982 %P 331-347 %V 16 %N 4 %I EDP-Sciences %G en %F ITA_1982__16_4_331_0