@InProceedings{Barrettetal2006LPAR,
  author    = {C. Barrett and
               R. Nieuwenhuis and
               A. Oliveras and
               C. Tinelli},
  title     = {{Splitting on Demand in SAT Modulo Theories}},
  pages     = {512--526},
  booktitle = "13h International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'06", 
  year      = {2006},
  editor    = {M. Hermann and
               A. Voronkov},
  series    = {Lecture Notes in Computer Science},
  volume    = {4246},
  publisher = {Springer}
}