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