The SMT-LIB Standard: Version 2.0 (2010)

by C Barrett, A Stump, C Tinelli
Venue:In Proc. SMT