List of citations in Numdam for : Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems

RAIRO. Informatique théorique, Volume 16 (1982) no. 4, pp. 331-347.

RAIRO. Informatique théorique, Volume 19 (1985) no. 4, pp. 359-382.