Constraint-based Error Diagnosis in Logic Programming.

Nguyen-Thinh Le, Wolfgang Menzel

Browse the full ICCE paper archive.