@misc{indiciae189301e03271, title = {Lower Bounds for the Complexity of Monadic Second-Order Logic}, author = {Stephan Kreutzer and Siamak Tazari}, year = {2011}, url = {https://arxiv.org/abs/1001.5019}, note = {Source identifier: 1001.5019} }