@incollection{DBLP:books/ox/LAI2Hb1994/Leivant94,
author = {Daniel Leivant},
title = {Higher order logic},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming
(2)},
year = {1994},
pages = {229-322},
crossref = {DBLP:books/ox/LAI2Hb94},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{DBLP:books/ox/LAI2Hb94,
editor = {Dov M. Gabbay and
Christopher J. Hogger and
J. A. Robinson and
J{\"o}rg H. Siekmann},
title = {Handbook of Logic in Artificial Intelligence and Logic Programming,
Volume2, Deduction Methodologies},
booktitle = {Handbook of Logic in Artificial Intelligence and Logic Programming,
Volume 2},
publisher = {Oxford University Press},
year = {1994},
isbn = {0-19-853746-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-11-25 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
