@InProceedings{Nieuwenhuisetal2007RTA,
  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 Rewriting Techniques and Applications, RTA'07},
  editor    = {Franz Baader},
  pages     = {2-18},
  year      = {2007},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume    = {4533}
}