TY  - RPRT
TI  - exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
AU  - Ly Ly Trieu
AU  - Tran Cao Son
AU  - Marcello Balduccini
PY  - 2021
DO  - 10.4204/eptcs.345.28
UR  - https://arxiv.org/abs/2109.08292
ID  - 2109.08292
ER  -