TY  - RPRT
TI  - Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
AU  - Manfred Kufleitner
AU  - Alexander Lauser
PY  - 2012
UR  - https://arxiv.org/abs/1212.6500
ID  - 1212.6500
ER  -