Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli. From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. In Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, editors, Deduction and Decision Procedures, 30.09. - 05.10.2007. Volume 07401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]
Abstract is missing.