@TECHREPORT{RanTin-RR-06,
  author =	 {Silvio Ranise and Cesare Tinelli},
  title =	 {{The SMT-LIB Standard: Version 1.2}},
  institution =	 {Department of Computer Science, The University of
                  Iowa},
  year =	 2006,
  note =	 {Available at {\tt www.SMT-LIB.org}}
}