Higher-order logic programming (1998)

by Gopalan Nadathur, Dale Miller
Venue:In Handbook of Logic in Artificial Intelligence and Logic Programming