Higher order logic (1994)

by Daniel Leivant
Venue:Handbook of Logic in Artificial Intelligence and Logic Programming