@misc{indiciaeaa561312bcd5,
  title = {Answer Set Solving with Bounded Treewidth Revisited},
  author = {Johannes Fichte and Markus Hecher and Michael Morak and Stefan Woltran},
  year = {2017},
  url = {https://arxiv.org/abs/1702.02890},
  note = {Source identifier: 1702.02890}
}