Silvio Ghilardi Enrica Nicolini Silvio Ranise Daniele Zucchelli Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. 362-378 2007 conf/cade/2007 CADE http://dx.doi.org/10.1007/978-3-540-73595-3_25 db/conf/cade/cade2007.html#GhilardiNRZ07