1.1 --- a/doc-src/manual.bib	Sat Feb 28 16:48:27 2009 +0100
     1.2 +++ b/doc-src/manual.bib	Sat Feb 28 17:08:08 2009 +0100
     1.3 @@ -183,6 +183,16 @@
     1.4                    {F}ormal-{L}ogic {E}ngineering},
     1.5    crossref =     {tphols99}}
     1.6  
     1.7 +
     1.8 +@InProceedings{Bezem-Coquand:2005,
     1.9 +  author = 	 {M.A. Bezem and T. Coquand},
    1.10 +  title = 	 {Automating {Coherent Logic}},
    1.11 +  booktitle = {LPAR-12},
    1.12 +  editor = 	 {G. Sutcliffe and A. Voronkov},
    1.13 +  volume = 	 3835,
    1.14 +  series = 	 LNCS,
    1.15 +  publisher = Springer}
    1.16 +
    1.17  @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
    1.18  title="Introduction to Functional Programming",publisher=PH,year=1988}
    1.19