The Propositional Mu-Calculus is Elementary.

Robert S. Streett, E. Allen Emerson

Browse the full ICALP paper archive.