@inproceedings{GanianHLOR12,
 author = {Robert Ganian and
Petr Hlinen{\'{y}} and
Alexander Langer and
Jan Obdrz{\'{a}}lek and
Peter Rossmanith and
Somnath Sikdar},
 booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
 pages = {326--337},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 series = {LIPIcs},
 title = {Lower Bounds on the Complexity of MSO1 Model-Checking},
 volume = {14},
 year = {2012}
}