HiLog: a foundation for higher-order logic programming,” (1993)

by W Chen, M Kifer, D S Warren
Venue:Journal of Logic Programming,