Fixed-parameter tractability, definability, and model checking

Jörg Flum Martin Grohe Fixed-parameter tractability, definability, and model checking http://arxiv.org/abs/cs.CC/9910001 1999 CoRR cs.CC/9910001 db/journals/corr/corr9910.html#cs-CC-9910001