“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.)