"An Abstract Strong Normalization Theorem."

Ulrich Berger (2005)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics