1.1 --- a/doc-src/manual.bib	Tue Aug 09 09:33:50 2011 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Aug 09 09:39:49 2011 +0200
     1.3 @@ -140,7 +140,7 @@
     1.4  
     1.5  %B
     1.6  
     1.7 -@inproceedings{satallax,
     1.8 +@inproceedings{backes-brown-2010,
     1.9    title = "Analytic Tableaux for Higher-Order Logic with Choice",
    1.10    author = "Julian Backes and Chad E. Brown",
    1.11    booktitle={Automated Reasoning: IJCAR 2010},
    1.12 @@ -335,6 +335,17 @@
    1.13    publisher	= {Academic Press},
    1.14    year		= 1988}
    1.15  
    1.16 +@inproceedings{satallax,
    1.17 +  author = "Chad E. Brown",
    1.18 +  title = "Reducing Higher-Order Theorem Proving to a Sequence of {SAT} Problems",
    1.19 +  booktitle = {Automated Deduction --- CADE-23},
    1.20 +  publisher = Springer,
    1.21 +  series = LNCS,
    1.22 +  volume = 6803,
    1.23 +  pages = "147--161",
    1.24 +  editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
    1.25 +  year = 2011}
    1.26 +
    1.27  @Article{debruijn72,
    1.28    author	= {N. G. de Bruijn},
    1.29    title		= {Lambda Calculus Notation with Nameless Dummies,
    1.30 @@ -686,9 +697,10 @@
    1.31    booktitle = {Automated Deduction --- CADE-23},
    1.32    publisher = Springer,
    1.33    series = LNCS,
    1.34 +  volume = 6803,
    1.35 +  pages = "299--314",
    1.36    editor = "Nikolaj Bj{\o}rner and Viorica Sofronie-Stokkermans",
    1.37 -  year = 2011,
    1.38 -  note = "To appear."}
    1.39 +  year = 2011}
    1.40  
    1.41  @book{Hudak-Haskell,author={Paul Hudak},
    1.42  title={The Haskell School of Expression},publisher=CUP,year=2000}