Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning - Gottlob, G; Pichler, R; Wei, F (AAAI Press, 2006)