@article{BDO+08,
  author    = "Clark Barrett and Morgan Deters and Albert Oliveras and Aaron Stump",
  title     = "Design and Results of the $3^{rd}$ Annual Satisfiability Modulo Theories Competition ({SMT-COMP} 2007)",
  journal   = "International Journal on Artificial Intelligence Tools (IJAIT)",
  publisher = "World Scientific",
  volume    = 17,
  number    = 4,
  pages     = "569--606",
  month     = aug,
  year      = 2008
}