A Higher-Order Logic as the Basis for Logic Programming (1987)

by G Nadathur