@article{BdMS06,
  author    = "Clark Barrett and Leonardo de Moura and Aaron Stump",
  title     = "Design and Results of the First Satisfiability Modulo Theories Competition ({SMT-COMP} 2005)",
  journal   = "Journal of Automated Reasoning",
  publisher = "Springer Netherlands",
  month     = aug,
  year      = 2006,
  issn      = "1573-0670",
  doi       = "10.1007/s10817-006-9026-1"
}