@InProceedings{NieOT-LPAR-04,
  author =	 {Robert Nieuwenhuis and Albert Oliveras and Cesare
                  Tinelli},
  title =	 {Abstract {DPLL} and Abstract {DPLL} Modulo Theories},
  booktitle =	 {Proceedings of the 11th International Conference on
                  Logic for Programming, Artificial Intelligence and
                  Reasoning (LPAR'04), Montevideo, Uruguay},
  pages =	 {36--50},
  year =	 2005,
  editor =	 {F.~Baader and A.~Voronkov},
  volume =	 3452,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer},
  url =
                  {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/NieOT-LPAR-04.pdf},
}