The SMT-LIB Standard: Version 1.2 (2006)

by Silvio Ranise , Loria , Cesare Tinelli
Citations:42 - 4 self