@techreport{FlumGroheWeyer2004,
  author = "J{\"o}rg Flum and Martin Grohe and Mark Weyer",
  title = "Bounded fixed-parameter tractability and {$\mathrm{log}^2n$} nondeterministic bits",
  institution = "Fakult{\"a}t f{\"u}r Mathematik und Physik",
  year = 2004,
  number = "04",
  address = "Eckerstra{\ss}e 1, 79104 Freiburg, Germany"
}