@InProceedings{Tin-JELIA-02,
  author =	 {Cesare Tinelli},
  title =	 {A {DPLL}-based Calculus for Ground Satisfiability
                  Modulo Theories},
  booktitle =	 {Proceedings of the 8th European Conference on Logics
                  in Artificial Intelligence (Cosenza, Italy)},
  year =	 2002,
  editor =	 {Giovambattista Ianni and Sergio Flesca},
  volume =	 2424,
  series =	 {Lecture Notes in Artificial Intelligence},
  publisher =	 {Springer},
  pages =	 {308-319},
  url =          {ftp://ftp.cs.uiowa.edu/pub/tinelli/papers/Tin-JELIA-02.pdf},
}