Fragments of First-Order Logic over Infinite Words.

Volker Diekert Manfred Kufleitner Fragments of First-Order Logic over Infinite Words. 325-336 2009 STACS http://drops.dagstuhl.de/opus/volltexte/2009/1818 conf/stacs/2009 db/conf/stacs/stacs2009.html#DiekertK09