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