@inproceedings{BNO+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 $13^{th}$ International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR '06)",
  series    = "Lecture Notes in Computer Science",
  volume    = 4246,
  publisher = "Springer-Verlag",
  editor    = "Miki Hermann and Andrei Voronkov",
  pages     = "512--526",
  month     = nov,
  year      = 2006,
  note      = "Phnom Penh, Cambodia"
}