1.1 --- a/doc-src/manual.bib Tue Sep 05 22:05:49 2006 +0200
1.2 +++ b/doc-src/manual.bib Tue Sep 05 22:06:18 2006 +0200
1.3 @@ -120,6 +120,15 @@
1.4 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow},
1.5 title="Term Rewriting and All That",publisher=CUP,year=1998}
1.6
1.7 +@InCollection{Barendregt-Geuvers:2001,
1.8 + author = {H. Barendregt and H. Geuvers},
1.9 + title = {Proof Assistants using Dependent Type Systems},
1.10 + booktitle = {Handbook of Automated Reasoning},
1.11 + publisher = {Elsevier},
1.12 + year = 2001,
1.13 + editor = {A. Robinson and A. Voronkov}
1.14 +}
1.15 +
1.16 @incollection{basin91,
1.17 author = {David Basin and Matt Kaufmann},
1.18 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental