--- 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}