Manfred Kufleitner, Tobias Walter. Level Two of the Quantifier Alternation Hierarchy over Infinite Words. In Alexander S. Kulikov, Gerhard J. Woeginger, editors, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings. Volume 9691 of Lecture Notes in Computer Science, pages 223-236, Springer, 2016. [doi]
Abstract is missing.