Hilog: A first-order semantics for higher-order logic programming constructs (1989)

by W Chen, M Kifer, D S Warren
Venue:In Proceedings of the North-American Conference on Logic Programming