A logic programming approach to implementing higher-order term rewriting (0)

by Amy Felty
Venue:Proceedings of the January 1991 Workshop on Extensions to Logic Programming