@inproceedings{BDL98,
  author    = "Clark W. Barrett and David L. Dill and Jeremy R. Levitt",
  title     = "A Decision Procedure for Bit-vector Arithmetic",
  booktitle = "Proceedings of the $35^{th}$ Design Automation Conference (DAC '98)",
  publisher = "Association for Computing Machinery",
  pages     = "522--527",
  month     = jun,
  year      = 1998,
  note      = "San Francisco, California.  {\em Best paper award}"
}