@article{DBLP:journals/corr/FichteHMW17, author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan}, title = {Answer Set Solving with Bounded Treewidth Revisited}, journal = {CoRR}, volume = {abs/1702.02890}, year = {2017} }