@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},
	biburl = {http://www.bibsonomy.org/bibtex/202815d001b9046749edbaf0b18ec4ce8/dblp},
	description = {dblp},
	isbn = {0-19-853746-8}, date = {2008-05-06},
	keywords = {dblp }
}