Fast Counting with Bounded Treewidth. - Michael Jakl; Reinhard Pichler; Stefan Rümmele; Stefan Woltran (LPAR, 2008)

Answer-Set Programming with Bounded Treewidth. - Michael Jakl; Reinhard Pichler; Stefan Woltran (IJCAI, 2009)