@InProceedings{BarTin-CAV-07,
  author =	 {Clark Barrett and Cesare Tinelli},
  title =	 {{CVC3}},
  booktitle =	 {Proceedings of the 19th International Conference on
                  Computer Aided Verification (CAV'07), Berlin,
                  Germany},
  pages =	 {298--302},
  year =	 2007,
  editor =	 {W.~Damm and H.~Hermanns},
  volume =	 4590,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BarTin-CAV-07.pdf},
}