Georg Gottlob Reinhard Pichler Fang Wei Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. 1541-1546 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#GottlobPW08