TY  - RPRT
TI  - Diagnostic reasoning with A-Prolog
AU  - Marcello Balduccini
AU  - Michael Gelfond
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312040
ID  - cs/0312040
ER  -