@TECHREPORT{BarST-RR-10,
  author =	 {Clark Barrett and Aaron Stump and Cesare Tinelli},
  title =	 {{The SMT-LIB Standard: Version 2.0}},
  institution =	 {Department of Computer Science, The University of Iowa},
  year =	 2010,
  note =	 {Available at {\tt www.SMT-LIB.org}}
}