@InProceedings{NieuwenhuisOliveras2005CAV,
  author    = {R. Nieuwenhuis and A. Oliveras},
  title     = {{{DPLL(T)} with Exhaustive Theory Propagation and its Application to Difference Logic}},
  pages     = {321-334},
  booktitle = {17th International Conference on Computer Aided Verification, CAV'05},
  year      = "2005",
  editor    = "K. Etessami and S. Rajamani",
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = "Springer"
}