TY  - RPRT
TI  - Level Two of the Quantifier Alternation Hierarchy over Infinite Words
AU  - Manfred Kufleitner
AU  - Tobias Walter
PY  - 2015
UR  - https://arxiv.org/abs/1509.06207
ID  - 1509.06207
ER  -