Level Two of the Quantifier Alternation Hierarchy Over Infinite Words. - Kufleitner, Manfred; Walter, Tobias (Theory of Computing Systems, 2018)