Georg Gottlob Reinhard Pichler Fang Wei Bounded treewidth as a key to tractability of knowledge representation and reasoning. 105-132 2010 174 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2009.10.003 db/journals/ai/ai174.html#GottlobPW10