Tobias Ganzow Sasha Rubin Order-Invariant MSO is Stronger than Counting MSO in the Finite. 313-324 2008 STACS http://drops.dagstuhl.de/opus/volltexte/2008/1353 conf/stacs/2008 db/conf/stacs/stacs2008.html#GanzowR08