"A General Theorem on Termination of Rewriting."

Jeremy E. Dawson, Rajeev Goré (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics