Term rewriting for normalization by evaluation.
scientific article; zbMATH DE number 1967129