Doron Bustan, Orna Kupferman, Moshe Y. Vardi. A Measured Collapse of the Modal µ-Calculus Alternation Hierarchy. In Volker Diekert, Michel Habib, editors, STACS 2004, 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004, Proceedings. Volume 2996 of Lecture Notes in Computer Science, pages 522-533, Springer, 2004. [doi]
Abstract is missing.