Fatma Bouali, Stéphane Loiseau. Rule Base Diagnosis for Debugging: the KB-DIAGO2 System. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 225-239, ADERIAS-LIA, Universite de Savoie, 1995.
Abstract is missing.