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

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