@inproceedings{ DBLP:conf/sat/BacchusW03,
  area = {Advanced Propositional Reasoning (CSP/SAT, #SAT/Bayes, Optimization, QBF/QCSP)},
  url = {BSAT2003.pdf},
  booktitle = {Proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing (SAT-2003)},
  author = {Fahiem Bacchus and Jonathan Winter},
  pages = {341-355},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2919&spage=341},
  year = {2003},
  title = {Effective Preprocessing with Hyper-Resolution and Equality Reduction},
  bibsource = {DBLP http://dblp.uni-trier.de}
}