A Proof-Producing Boolean Search Engine

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://www.cs.nyu.edu/~barrett/pubs/BB03.pdf}
}

(This webpage was created with bibtex2web.)