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

by W Ch en, M Kifer, D S Warren
Venue:In Proc. North American Logic Programming Conference