"From Non-Disjoint Combination to Satisfiability and Model-Checking of ..."

Silvio Ghilardi et al. (2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics