TY  - RPRT
TI  - Order-Invariant MSO is Stronger than Counting MSO in the Finite
AU  - Tobias Ganzow
AU  - Sasha Rubin
PY  - 2008
UR  - https://arxiv.org/abs/0706.3723
ID  - 0706.3723
ER  -