@misc{indiciae0de9f0891640, title = {Where First-Order and Monadic Second-Order Logic Coincide}, author = {Michael Elberfeld and Martin Grohe and Till Tantau}, year = {2012}, url = {https://arxiv.org/abs/1204.6291}, note = {Source identifier: 1204.6291} }