"An Ordinal Calculus for Proving Termination in Term Rewriting."

E. A. Cichon, Hélène Touzet (1996)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics