Algorithmic Meta−Theorems - Kreutzer, S (International Workshop on Exact and Parameterized Computation (IWPEC), 2008)