Automated Generation of Search Tree Algorithms for Hard Graph Modification Problems - Gramm, Jens; Guo, Jiong; Hüffner, Falk; Niedermeier, Rolf (Algorithmica, 2004)