@inproceedings{DawarGroKre07,
  title = "Locally Excluding a Minor",
  author = "Anuj Dawar and Martin Grohe and Stephan Kreutzer",
  year = "2007",
  booktitle = "Logic in Computer Science (LICS)",
  pages = "270-279",
  url = "http://web.comlab.ox.ac.uk/oucl/work/stephan.kreutzer/Publications/lics07.pdf",
}