Model-checking problems as a basis for parameterized intractability

Jörg Flum, Martin Grohe. Model-checking problems as a basis for parameterized intractability. Logical Methods in Computer Science, 1(1), 2005. [doi]

Abstract

Abstract is missing.