@Article{GeBT-AMAI-09,
  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},
  year =	 2009,
  note =	 {DOI 10.1007/s10472-009-9153-6},
}