1. Toupie: The µ-calculus over Finite Domains as a Constraint Language

   • Marc-Michel Corsini
   • Antoine Rauzy

   OriginalPaper Pages: 143 - 171

2. Structuring Resolution Proofs by Introducing New Lemmata

   • K. Hörwein

   OriginalPaper Pages: 173 - 203

3. A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion

   • Peter Baumgartner
   • Stefan Brüning

   OriginalPaper Pages: 205 - 262