Higher-order rewriting (1999)

by Femke van Raamsdonk
Venue:In Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA ’99