TY  - RPRT
TI  - Lower Bounds on the Complexity of MSO1 Model-Checking
AU  - Robert Ganian
AU  - Petr Hliněný
AU  - Alexander Langer
AU  - Jan Obdržálek
AU  - Peter Rossmanith
AU  - Somnath Sikdar
PY  - 2012
UR  - https://arxiv.org/abs/1109.5804
ID  - 1109.5804
ER  -