@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}
}