From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems.

Silvio Ghilardi Silvio Ranise Enrica Nicolini Daniele Zucchelli From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. 2007 Deduction and Decision Procedures http://drops.dagstuhl.de/opus/volltexte/2007/1247 conf/dagstuhl/2007P7401 db/conf/dagstuhl/P7401.html#GhilardiRNZ07