@article{GanianHLORS14,
 author = {Robert Ganian and
Petr Hlinen{\'{y}} and
Alexander Langer and
Jan Obdrz{\'{a}}lek and
Peter Rossmanith and
Somnath Sikdar},
 journal = {J. Comput. Syst. Sci.},
 number = {1},
 pages = {180--194},
 title = {Lower bounds on the complexity of MSO1 model-checking},
 volume = {80},
 year = {2014}
}