@article{FlumGroheWeyer2006,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  journal = "Journal of Computer and System Sciences",
  year = 2006,
  volume = "72",
  number = "1",
  pages = "34--71",
  month = feb
}