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

COMINI, Marco

LEVI G

VITIELLO G.