The SMT-LIB Standard: Version 1.2 (2006)

by Silvio Ranise , Loria , Cesare Tinelli
Citations:39 - 3 self