Order-Invariant MSO is Stronger than Counting MSO in the Finite.

Tobias Ganzow, Sasha Rubin

Browse the full STACS paper archive.