@InProceedings{BB03,
  author    = "Clark Barrett and Sergey Berezin",
  title     = "A Proof-Producing Boolean Search Engine",
  booktitle = "Proceedings of the $1^{st}$ International Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR '03)",
  month     = jul,
  year      = 2003,
  note      = "Miami, Florida"
}