@inproceedings{FlumGroheWeyer2004a,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  booktitle = "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings",
  year = 2004,
  editor = "Josep D{\'\i}az and Juhani Karhum{\"a}ki and Arto Lepist{\"o} and Donald Sannella",
  number = "3142",
  series = "Lecture Notes in Computer Science",
  pages = "555--567",
  publisher = "Springer"
}