@misc{indiciae4f20b4c7e720, title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough}, author = {Reinhard Pichler and Stefan Rümmele and Stefan Szeider and Stefan Woltran}, year = {2012}, doi = {10.1017/s1471068412000099}, url = {https://arxiv.org/abs/1204.3040}, note = {Source identifier: 1204.3040} }