--- a/doc-src/manual.bib Tue May 24 00:01:33 2011 +0200
+++ b/doc-src/manual.bib Tue May 24 00:01:33 2011 +0200
@@ -140,6 +140,17 @@
%B
+@inproceedings{satallax,
+ title = "Analytic Tableaux for Higher-Order Logic with Choice",
+ author = "Julian Backes and Chad E. Brown",
+ booktitle={Automated Reasoning: IJCAR 2010},
+ editor={J. Giesl and R. H\"ahnle},
+ publisher = Springer,
+ series = LNCS,
+ volume = 6173,
+ pages = "76--90",
+ year = 2010}
+
@book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
title="Term Rewriting and All That",publisher=CUP,year=1998}
@@ -204,6 +215,17 @@
title = {Calculational reasoning revisited --- an {Isabelle/Isar} experience},
crossref = {tphols2001}}
+@inproceedings{leo2,
+ author = "Christoph Benzm{\"u}ller and Lawrence C. Paulson and Frank Theiss and Arnaud Fietzke",
+ title = "{LEO-II}---A Cooperative Automatic Theorem Prover for Higher-Order Logic",
+ editor = "Alessandro Armando and Peter Baumgartner and Gilles Dowek",
+ booktitle = "Automated Reasoning: IJCAR 2008",
+ publisher = Springer,
+ series = LNCS,
+ volume = 5195,
+ pages = "162--170",
+ year = 2008}
+
@inProceedings{Berghofer-Bulwahn-Haftmann:2009:TPHOL,
author = {Berghofer, Stefan and Bulwahn, Lukas and Haftmann, Florian},
booktitle = {Theorem Proving in Higher Order Logics},
@@ -286,6 +308,8 @@
editor={J. Giesl and R. H\"ahnle},
publisher=Springer,
series=LNCS,
+ volume = 6173,
+ pages = "107--121",
year=2010}
@Article{boyer86,