Quantifier Alternation for Infinite Words.

Tho Pierron, Thomas Place, Marc Zeitoun

Browse the full FOSSACS paper archive.