equal
deleted
inserted
replaced
118 %B |
118 %B |
119 |
119 |
120 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow}, |
120 @book{Baader-Nipkow,author={Franz Baader and Tobias Nipkow}, |
121 title="Term Rewriting and All That",publisher=CUP,year=1998} |
121 title="Term Rewriting and All That",publisher=CUP,year=1998} |
122 |
122 |
|
123 @InCollection{Barendregt-Geuvers:2001, |
|
124 author = {H. Barendregt and H. Geuvers}, |
|
125 title = {Proof Assistants using Dependent Type Systems}, |
|
126 booktitle = {Handbook of Automated Reasoning}, |
|
127 publisher = {Elsevier}, |
|
128 year = 2001, |
|
129 editor = {A. Robinson and A. Voronkov} |
|
130 } |
|
131 |
123 @incollection{basin91, |
132 @incollection{basin91, |
124 author = {David Basin and Matt Kaufmann}, |
133 author = {David Basin and Matt Kaufmann}, |
125 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
134 title = {The {Boyer-Moore} Prover and {Nuprl}: An Experimental |
126 Comparison}, |
135 Comparison}, |
127 crossref = {huet-plotkin91}, |
136 crossref = {huet-plotkin91}, |