You are here

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