Wolfram Büttner
-
Boolean unification - The story so far
Journal of Symbolic Computation
Toupie: The µ-calculus over Finite Domains as a Constraint Language
Journal of Automated Reasoning