On termination of higher-order rewriting (2001)

by F van Raamsdonk
Venue:Proceedings of the 12th International Conference on Rewriting Techniques and Applications (RTA ’01