diff -r 9531eaafd781 -r b533ef41b11e doc-src/manual.bib
--- a/doc-src/manual.bib	Sat Feb 28 16:48:27 2009 +0100
+++ b/doc-src/manual.bib	Sat Feb 28 17:08:08 2009 +0100
@@ -183,6 +183,16 @@
                   {F}ormal-{L}ogic {E}ngineering},
   crossref =     {tphols99}}
 
+
+@InProceedings{Bezem-Coquand:2005,
+  author = 	 {M.A. Bezem and T. Coquand},
+  title = 	 {Automating {Coherent Logic}},
+  booktitle = {LPAR-12},
+  editor = 	 {G. Sutcliffe and A. Voronkov},
+  volume = 	 3835,
+  series = 	 LNCS,
+  publisher = Springer}
+
 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
 title="Introduction to Functional Programming",publisher=PH,year=1988}