Lower Bounds for the Complexity of Monadic Second-Order Logic.

Stephan Kreutzer, Siamak Tazari

Browse the full LICS paper archive.