@article{DBLP:journals/corr/abs-1905-01688,
  title = {Answer Set Solving exploiting Treewidth and its Limits},
  author = {Hecher, Markus},
  journal = {CoRR},
  volume = {abs/1905.01688},
  year = {2019}
}