@inproceedings{GBT07,
  author    = "Yeting Ge and Clark Barrett and Cesare Tinelli",
  title     = "Solving Quantified Verification Conditions using Satisfiability Modulo Theories",
  booktitle = "Proceedings of the $21^{st}$ International Conference on Automated Deduction (CADE '07)",
  series    = "Lecture Notes in Artificial Intelligence",
  volume    = 4603,
  publisher = "Springer-Verlag",
  editor    = "Frank Pfenning",
  pages     = "167--182",
  month     = jul,
  year      = 2007,
  note      = "Bremen, Germany"
}