Comparing combinatory reduction systems and higher-order rewrite systems
Comparing combinatory reduction systems and higher-order rewrite systems / V. van Oostrom, F. van Raamsdonk