Higher-order logic programming (1998)

by G Nadathur, D A Miller
Venue:In Handbook of Logic in Artificial Intelligence and Logic Programming