@InProceedings{Nieuwenhuisetal2004LPAR,
  author    = {R. Nieuwenhuis and
               A. Oliveras and
               C. Tinelli},
  title     = {{Abstract DPLL and Abstract DPLL Modulo Theories}},
  pages     = {36-50},
  booktitle = "11th International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'04", 
  year      = {2004},
  editor    = {F. Baader and
               A. Voronkov},
  series    = {Lecture Notes in Computer Science},
  volume    = {3452},
  publisher = {Springer}
}