@InProceedings{CADE2009,
  author =       "Thomas Bouton and Diego Caminha B. de Oliveira 
                  and David D\'{e}harbe and Pascal Fontaine.",
  title =        "veriT: an open, trustable and efficient SMT-solver",
  booktitle =    "Proc. Conference on Automated Deduction (CADE)"
  editor =       "Renate A. Schmidt",
  year =         "2009",
%  pages =        "",
  series =       "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
%  volume =       "",
  note =         "To appear",
}