@MISC{RanTin-SMTLIB,
  author =	 {Clark Barrett and Silvio Ranise and Aaron Stump and Cesare Tinelli},
  title =	 {{The Satisfiability Modulo Theories Library (SMT-LIB)}},
  howpublished = {{\tt www.SMT-LIB.org}},
  year =	 2008,
}