@InProceedings{BarNOT-LPAR-06,
  author =	 {Clark Barrett and Robert Nieuwenhuis and Albert
                  Oliveras and Cesare Tinelli},
  title =	 {Splitting on Demand in SAT Modulo Theories},
  booktitle =	 {Proceedings of the 13th International Conference on
                  Logic for Programming, Artificial Intelligence and
                  Reasoning (LPAR'06), Phnom Penh, Cambodia},
  pages     = {512--526},
  year =	 2006,
  editor =	 {M.~Hermann and A.~~Voronkov},
  volume    = {4246},
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/BarNOT-LPAR-06.pdf},
}