@inproceedings{NieuwenhuisORR07,
  author    = {Robert Nieuwenhuis and
               Albert Oliveras and
               Enric Rodr\'{\i}guez-Carbonell and
               Albert Rubio},
  title     = {Challenges in Satisfiability Modulo Theories},
  booktitle = {18th International Conference on Term Rewriting and Applications},
  year      = {2007},
  pages     = {2-18},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {4533},
  editor    = {Franz Baader}
}