TY  - RPRT
TI  - Fixed-parameter tractability, definability, and model checking
AU  - Joerg Flum
AU  - Martin Grohe
PY  - 2001
UR  - https://arxiv.org/abs/cs/9910001
ID  - cs/9910001
ER  -