TY  - RPRT
TI  - Fragments of first-order logic over infinite words
AU  - Volker Diekert
AU  - Manfred Kufleitner
PY  - 2009
UR  - https://arxiv.org/abs/0906.2995
ID  - 0906.2995
ER  -