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

by A Felty
Venue:In Extensions of Logic Programming (ELP