HiLog: A foundation for higher-order logic programming (1993)

Cached

Download Links

by Weidong Chen , Michael Kifer , David S. Warren
Venue:JOURNAL OF LOGIC PROGRAMMING
Citations:213 - 40 self