@article{Hecher2022,
  author    = {Markus Hecher},
  title     = {Treewidth-aware reductions of normal ASP to SAT},
  journal   = {Artificial intelligence},
  series    = {is normal ASP harder than SAT after all?},
  volume    = {304},
  doi       = {10.1016/j.artint.2021.103651},
  year      = {2022},
}