A Dichotomy Theorem for Ordinal Ranks in MSO.

Damian Niwinski, Pawel Parys, Michal Skrzypczak

Browse the full STACS paper archive.