"Term rewriting for normalization by evaluation."

Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics