A Logic Programming Approach to Implementing Higher-Order Term Rewriting (1992)

Cached

Download Links

by Amy Felty
Venue:Second International Workshop on Extensions to Logic Programming, volume 596 of Lecture Notes in Arti Intelligence
Citations:16 - 2 self