@TECHREPORT{BarFT-RR-15,
  author =	 {Clark Barrett and Pascal Fontaine and Cesare Tinelli},
  title =	 {{The SMT-LIB Standard: Version 2.5}},
  institution =	 {Department of Computer Science, The University of Iowa},
  year =	 2015,
  note =	 {Available at {\tt www.SMT-LIB.org}}
}