@InProceedings{NieuwenhuisOliveras2005LPAR,
  author    = {R. Nieuwenhuis and
               A. Oliveras},
  title     = {{Decision Procedures for SAT, SAT Modulo Theories and Beyond.
The BarcelogicTools. (Invited Paper)}},
  pages     = {23--46},
  booktitle = "12h International Conference on Logic for Programming,
 Artificial Intelligence and Reasoning, LPAR'05", 
  year      = {2005},
  editor    = {G. Sutcliffe and
               A. Voronkov},
  series    = {Lecture Notes in Computer Science},
  volume    = {3835},
  publisher = {Springer}
}