@misc{indiciaec74ff74859a7,
  title = {Diagnostic reasoning with A-Prolog},
  author = {Marcello Balduccini and Michael Gelfond},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0312040},
  note = {Source identifier: cs/0312040}
}