Marcello Balduccini, Michael Gelfond. Diagnostic reasoning with A-Prolog. TPLP, 3(4-5):425-461, 2003.
@article{BalducciniG03,
title = {Diagnostic reasoning with A-Prolog},
author = {Marcello Balduccini and Michael Gelfond},
year = {2003},
tags = {Prolog, diagnostics},
researchr = {https://researchr.org/publication/BalducciniG03},
cites = {0},
citedby = {0},
journal = {TPLP},
volume = {3},
number = {4-5},
pages = {425-461},
}