Machine-based methods in parameterized complexity theory
scientific article; zbMATH DE number 2184097