Succinct Graph Representations of μ-Calculus Formulas.

Clemens Kupke, Johannes Marti, Yde Venema

Browse the full CSL paper archive.