@InProceedings{BBD03,
  author = 	 {Clark Barrett and Sergey Berezin and David Dill},
  title = 	 {A Proof-Producing Boolean Search Engine},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {{PDPAR}'03 Workshop, Miami, Florida},
  OPTpages = 	 {},
  year = 	 {2003},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  month = 	 jul,
  OPTorganization = {},
  OPTpublisher = {},
  note = 	 {to appear},
  OPTannote = 	 {}
}