Fixed−Parameter Complexity in AI and Nonmonotonic Reasoning - Gottlob, G; Scarcello, F; Sideri, M (Springer, 1999)