"HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs."

Weidong Chen, Michael Kifer, David Scott Warren (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics