First-order Fragments with Successor over Infinite Words.

Jakub Kallas, Manfred Kufleitner, Alexander Lauser

Browse the full STACS paper archive.