TY  - RPRT
TI  - Model-Checking Problems as a Basis for Parameterized Intractability
AU  - Joerg Flum
AU  - Martin Grohe
PY  - 2005
DO  - 10.2168/lmcs-1(1:2)2005
UR  - https://arxiv.org/abs/cs/0502005
ID  - cs/0502005
ER  -