Higher-order narrowing with definitional trees. (1996)

by M Hanus, C Prehofer
Venue:In Proceedings of the 7th International Conference on Rewriting Techniques and Applications (RTA ’96),