--- a/doc-src/manual.bib Tue Aug 09 09:33:50 2011 +0200
+++ b/doc-src/manual.bib Tue Aug 09 09:39:49 2011 +0200
@@ -140,7 +140,7 @@
%B
-@inproceedings{satallax,
+@inproceedings{backes-brown-2010,
title = "Analytic Tableaux for Higher-Order Logic with Choice",
author = "Julian Backes and Chad E. Brown",
booktitle={Automated Reasoning: IJCAR 2010},
@@ -335,6 +335,17 @@
publisher = {Academic Press},
year = 1988}
+@inproceedings{satallax,
+ author = "Chad E. Brown",
+ title = "Reducing Higher-Order Theorem Proving to a Sequence of {SAT} Problems",
+ booktitle = {Automated Deduction --- CADE-23},
+ publisher = Springer,
+ series = LNCS,
+ volume = 6803,
+ pages = "147--161",
+ editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
+ year = 2011}
+
@Article{debruijn72,
author = {N. G. de Bruijn},
title = {Lambda Calculus Notation with Nameless Dummies,
@@ -686,9 +697,10 @@
booktitle = {Automated Deduction --- CADE-23},
publisher = Springer,
series = LNCS,
+ volume = 6803,
+ pages = "299--314",
editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
- year = 2011,
- note = "To appear."}
+ year = 2011}
@book{Hudak-Haskell,author={Paul Hudak},
title={The Haskell School of Expression},publisher=CUP,year=2000}