@InProceedings{stpgd-07,
  author = 	 {Vijay Ganesh and David L. Dill},
  title = 	 {A Decision Procedure for Bit-Vectors and Arrays},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Computer Aided Verification (CAV '07)},
  OPTpages = 	 {},
  year = 	 {2007},
  OPTeditor = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  address = 	 {Berlin, Germany},
  month = 	 {July},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}