@inproceedings{Kreutzer09,
  title = "On the Parameterised Intractability of Monadic Second-Order Logic",
  author = "Stephan Kreutzer",
  year = "2009",
  booktitle = "Computer Science Logic (CSL)",
  journal = "Computer Science Logic (CSL)",
  url = "http://web.comlab.ox.ac.uk/people/Stephan.Kreutzer/Publications/csl09.pdf",
}