TY  - RPRT
TI  - User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)
AU  - Avishkar Mahajan
AU  - Martin Strecker
AU  - Meng Weng Wong
PY  - 2022
UR  - https://arxiv.org/abs/2209.07948
ID  - 2209.07948
ER  -