@InProceedings{BarST-SMT-10,
  author =	 {Clark Barrett and Aaron Stump and Cesare Tinelli},
  title =	 {{The SMT-LIB Standard: Version 2.0}},
  year =	 2010,
  booktitle =	 {Proceedings of the 8th International Workshop on
                  Satisfiability Modulo Theories (Edinburgh, UK)},
  editor =	 {A.~Gupta and D.~Kroening},
}