TY  - RPRT
TI  - Where First-Order and Monadic Second-Order Logic Coincide
AU  - Michael Elberfeld
AU  - Martin Grohe
AU  - Till Tantau
PY  - 2012
UR  - https://arxiv.org/abs/1204.6291
ID  - 1204.6291
ER  -