µ-Calculus Synthesis.

Orna Kupferman, Moshe Y. Vardi

Browse the full MFCS paper archive.