@misc{indiciae6d98a06f42dd,
  title = {exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules},
  author = {Ly Ly Trieu and Tran Cao Son and Marcello Balduccini},
  year = {2021},
  doi = {10.4204/eptcs.345.28},
  url = {https://arxiv.org/abs/2109.08292},
  note = {Source identifier: 2109.08292}
}