“A Proof-Producing Boolean Search Engine” by Clark Barrett and Sergey Berezin. In Proceedings of the 1^st International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR '03), July 2003. Miami, Florida.
BibTeX entry:
@inproceedings{BB03,
author = {Clark Barrett and Sergey Berezin},
title = {A Proof-Producing Boolean Search Engine},
booktitle = {Proceedings of the {\it 1^{st}} International Workshop on
Pragmatics of Decision Procedures in Automated Reasoning (PDPAR
'03)},
month = jul,
year = {2003},
note = {Miami, Florida},
url = {http://theory.stanford.edu/~barrett/pubs/BB03.pdf}
}
(This webpage was created with bibtex2web.)