Thomas Bouton Diego Caminha B. de Oliveira David Déharbe Pascal Fontaine veriT: An Open, Trustable and Efficient SMT-Solver. 151-156 2009 CADE http://dx.doi.org/10.1007/978-3-642-02959-2_12 conf/cade/2009 db/conf/cade/cade2009.html#BoutonODF09