@article{BdMS07,
  author    = "Clark Barrett and Leonardo de Moura and Aaron Stump",
  title     = "Design and Results of the $2^{nd}$ Satisfiability Modulo Theories Competition ({SMT-COMP} 2006)",
  journal   = "Formal Methods in System Design",
  publisher = "Springer Netherlands",
  volume    = 31,
  number    = 3,
  pages     = "221--239",
  month     = dec,
  year      = 2007,
  issn      = "0925-9856",
  doi       = "10.1007/s10703-007-0038-1"
}