Daniel Leivant Higher order logic. 229-322 1994 books/ox/LAI2Hb94 Handbook of Logic in Artificial Intelligence and Logic Programming (2) db/books/collections/LAI2Handbook94.html#Leivant94