@misc{indiciae90a95c5a3754,
  title = {Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming},
  author = {Richard Comploi-Taupe and Gerhard Friedrich and Konstantin Schekotihin and Antonius Weinzierl},
  year = {2022},
  doi = {10.1613/jair.1.14091},
  url = {https://arxiv.org/abs/2209.09066},
  note = {Source identifier: 2209.09066}
}