Comparing curried and uncurried rewriting
scientific article; zbMATH DE number 906763