@incollection{books/ox/LAI2Hb1994/Leivant94,
title = {Higher order logic.},
author = {Daniel Leivant},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming (2)},
crossref = {books/ox/LAI2Hb94},
editor = {Dov M. Gabbay and Christopher J. Hogger and J. A. Robinson and Jörg H. Siekmann},
pages = {229-322},
publisher = {Oxford University Press},
url = {http://dblp.uni-trier.de/db/books/collections/LAI2Handbook94.html#Leivant94},
year = {1994},
description = {dblp},
isbn = {0-19-853746-8}, date = {2008-05-06},
keywords = {dblp }
}
::