Michael Jakl Reinhard Pichler Stefan Woltran Answer-Set Programming with Bounded Treewidth. 816-822 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-140.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#JaklPW09