Jörg Flum Martin Grohe Mark Weyer Bounded fixed-parameter tractability and log<sup>2</sup><i>n</i> nondeterministic bits. 34-71 2006 72 J. Comput. Syst. Sci. 1 http://dx.doi.org/10.1016/j.jcss.2005.06.003 db/journals/jcss/jcss72.html#FlumGW06