Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs

Marco Comini, Giorgio Levi, Giuliana Vitiello. Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs. In AADEBUG. pages 159-174, 1995.

@inproceedings{CominiLV95,
  title = {Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs},
  author = {Marco Comini and Giorgio Levi and Giuliana Vitiello},
  year = {1995},
  tags = {logic programming, debugging, logic},
  researchr = {https://researchr.org/publication/CominiLV95},
  cites = {0},
  citedby = {0},
  pages = {159-174},
  booktitle = {AADEBUG},
}