Liste des citations dans Numdam pour : Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems

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

---