The Complexity of the Graded µ-Calculus.

Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi

Browse the full CADE paper archive.