@misc{indiciae2b94ea84a38b,
  title = {Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?},
  author = {Markus Hecher},
  year = {2022},
  url = {https://arxiv.org/abs/2210.03553},
  note = {Source identifier: 2210.03553}
}