MIN-Fakultät Fachbereich Informatik Bibliothek
Le, Nguyen-Thinh
Diagnosing errors in logic programming - the case of an ill-defined domain