@InProceedings{Ganzingeretal2004CAV,
  author =	 {H. Ganzinger and G. Hagen and R. Nieuwenhuis 
and A. Oliveras and C. Tinelli},
  title =	 {{{DPLL(T)}: Fast Decision Procedures}},
  pages =	 {175-188},
  booktitle =	 {16th International Conference on
                  Computer Aided Verification, CAV'04},
  year      =	 2004,
  editor    =	 {R.~Alur and D.~Peled},
  series    =	 {Lecture Notes in Computer Science},
  volume    =	 3114,
  publisher =	 {Springer}
}