Rational Debugging in Logic Programming

@inproceedings{Pereira1986RationalDI,
  title={Rational Debugging in Logic Programming},
  author={Lu{\'i}s Moniz Pereira},
  booktitle={ICLP},
  year={1986}
}