@InProceedings{Dutertre+deMoura:cav06,
  author = 	 {Dutertre, Bruno and de~Moura, Leonardo},
  title = 	 {A Fast Linear-Arithmetic Solver for {DPLL(T)}},
  booktitle =	 {Computer-Aided Verification (CAV'2006)},
  pages =	 {81--94},
  year =	 2006,
  volume =	 4144,
  series =	 {Lecture Notes in Computer Science},
  month =	 {August},
  publisher = {Springer-Verlag}
}