@article{PichlerRuemmeleSzeiderWoltran14,
 author = {Reinhard Pichler and
Stefan R{ü}mmele and
Stefan Szeider and
Stefan Woltran},
 doi = {10.1017/S1471068412000099},
 journal = {Theory Pract. Log. Program.},
 number = {2},
 pages = {141-164},
 title = {Tractable answer-set programming with weight constraints: bounded
treewidth is not enough},
 volume = {14},
 year = {2014}
}