The Satisfiability Modulo Theories Library (SMT-LIB),” (2016)

by C Barrett, P Fontaine, C Tinelli