Flum, Grohe, 2005. Model-checking problems as a basis for parameterized intractability.. https://doi.org/10.2168/lmcs-1(1:2)2005