@InProceedings{Dutertre:smt2015,
  author = 	 {Dutertre, Bruno},
  title = 	 {Solving Exists/Forall Problems With Yices},
  booktitle = {13th International Workshop on Satisfiability Modulo 
                 Theories (SMT 2015)},
  year = 	 2015,
  month = 	 {July}}