Fragments of First-Order Logic over Infinite Words.

Volker Diekert, Manfred Kufleitner

Browse the full STACS paper archive.