@article{GBT09,
  author    = "Yeting Ge and Clark Barrett and Cesare Tinelli",
  title     = "Solving Quantified Verification Conditions using Satisfiability Modulo Theories",
  journal   = "Annals of Mathematics and Artificial Intelligence",
  publisher = "Springer",
  volume    = 55,
  number    = "1-2",
  pages     = "101--122",
  month     = feb,
  year      = 2009,
  issn      = "1012-2443",
  doi       = "10.1007/s10472-009-9153-6",
}