@article{GanianHLORS14,
 author = {Robert Ganian and
Petr Hlinený and
Alexander Langer and
Jan Obdrzá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}
}