@InProceedings{GeBT-CADE-07,
  author =	 {Yeting Ge and Clark Barrett and Cesare Tinelli},
  title =	 {Solving Quantified Verification Conditions using
                  Satisfiability Modulo Theories},
  booktitle =	 {Proceedings of the 21st International Conference on
                  Automated Deduction (CADE-21), Bremen, Germany},
  pages =	 {167--182},
  year =	 2007,
  editor =	 {F.~Pfenning},
  volume =	 4603,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/GeBT-CADE-07.pdf},
}