@incollection{SS09HBSAT,
    author = {Samer, Marko and Szeider, Stefan},
    title = {Fixed-Parameter Tractability},
    booktitle = {Handbook of Satisfiability, Part 1: Theory and Algorithms},
    editor = {Biere, Armin and Heule, Marijn and van Maaren, Hans and Walsh, Toby},
    publisher = {IOS Press},
    series = {Frontiers in Artificial Intelligence and Applications},
    volume = {185},
    chapter = {13},
    pages = {425--454},
    year = {2009},
    isbn = {978-1-58603-929-5}
}