Volker Diekert Manfred Kufleitner Fragments of first-order logic over infinite words http://arxiv.org/abs/0906.2995 2009 CoRR abs/0906.2995 db/journals/corr/corr0906.html#abs-0906-2995 informal publication