E. A. Cichon, Hélène Touzet. An Ordinal Calculus for Proving Termination in Term Rewriting. In Hélène Kirchner, editor, Trees in Algebra and Programming - CAAP 96, 21st International Colloquium, Linköping, Sweden, April, 22-24, 1996, Proceedings. Volume 1059 of Lecture Notes in Computer Science, pages 226-240, Springer, 1996.
Abstract is missing.