@inproceedings{barrett+05,
author= "C. Barrett and L. de Moura and A. Stump",
title={{SMT-COMP: Satisfiability Modulo Theories Competition}},
booktitle="17th International Conference on Computer Aided Verification",
editor="K. Etessami and S. Rajamani",
pages={20--23},
publisher="Springer",
year="2005"}