# HG changeset patch
# User blanchet
# Date 1312875589 -7200
# Node ID 501548323938cce2e688fc8a6499265f19645a48
# Parent  bf489e54d7f8acc0e3ef4b4b3e1e2b54ed86e38f
updated references to CADE-23

diff -r bf489e54d7f8 -r 501548323938 doc-src/manual.bib
--- 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}