"Termination Proofs by Context-Dependent Interpretations."

Dieter Hofbauer (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics