Marc-Michel Corsini Antoine Rauzy Toupie: The µ-calculus over Finite Domains as a Constraint Language. 143-171 1997 19 J. Autom. Reasoning 2 db/journals/jar/jar19.html#CorsiniR97