@inproceedings{KrsticGoel,
  author    = {Sava Krstic and Amit Goel},
  title     = {Architecting Solvers for SAT Modulo Theories: 
Nelson-Oppen
               with DPLL},
  booktitle = {FroCos},
  year      = {2007},
  pages     = {1-27},
  ee        = {https://doi.org/10.1007/978-3-540-74621-8_1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@Article{NieuwenhuisOliverasTinelli,
  author =   {Robert Nieuwenhuis and Albert Oliveras and Cesare
                  Tinelli},
  title =    {{Solving SAT and SAT Modulo Theories: from an
                  Abstract Davis-Putnam-Logemann-Loveland Procedure to
                  DPLL(T)}},
  journal =  {Journal of the ACM},
  year =     2006,
  volume =   53,
  number =   6,
  pages =    {937--977},
  month =    nov,
}

@Article{JARrad,
	author = {Filip Maric},
        title = {Formalization and Implementation of Modern SAT Solvers},
        journal = {submitted to Journal of Automated Reasoning},
	year = 2008,
}

