Fixed-parameter algorithms for artificial intelligence, constraint satisfaction and database problems - Gottlob, Georg.