TY  - RPRT
TI  - First-order Fragments with Successor over Infinite Words
AU  - Jakub Kallas
AU  - Manfred Kufleitner
AU  - Alexander Lauser
PY  - 2010
UR  - https://arxiv.org/abs/1101.0115
ID  - 1101.0115
ER  -