Ralf Küsters, Thomas Wilke. Deciding the First Level of the µ-Calculus Alternation Hierarchy. In Manindra Agrawal, Anil Seth, editors, FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings. Volume 2556 of Lecture Notes in Computer Science, pages 241-252, Springer, 2002. [doi]
Abstract is missing.