A first-order semantics of higher-order logic programming constructs (1989)

by W Chen, M Kifer, D S Warren
Venue:Overbeek (eds), Logic Programming: Proceedings of the North American Conference