Efficient Datalog Abduction through Bounded Treewidth.

Georg Gottlob Reinhard Pichler Fang Wei Efficient Datalog Abduction through Bounded Treewidth. 1626-1631 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#GottlobPW07