@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}} }