Yijia Chen Jörg Flum Subexponential Time and Fixed-parameter Tractability: Exploiting the Miniaturization Mapping. 89-122 2009 19 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/exn029 db/journals/logcom/logcom19.html#ChenF09