Toupie: The µ-calculus over Finite Domains as a Constraint Language Marc-Michel CorsiniAntoine Rauzy OriginalPaper Pages: 143 - 171
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion Peter BaumgartnerStefan Brüning OriginalPaper Pages: 205 - 262