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

by A Felty
Venue:Extensions of Logic Programming (ELP ’91), volume 596 of Lecture Notes in Artial Intelligence