1. Beauvieux A, Dague P. A General Consistency checking and restoring Engine for Knowledge Bases, ECAI, p. 77–82, 1990.
2. Boswell R., Craw S. Organising Knowledge refinement operators. In Proc of EUROVAV. p. 149–161. Kluwer Academic Publishers. 1999.
3. Bouali F, Loiseau S, Rousset MC. Rule Base Debugging, ITCAI, p. 166–169, 1996.
4. Bouali F, Loiseau S, Rousset MC. Revision of rule base, EUROVAV, p. 193–203, 1997.
5. De Kleer J. An assumption-based truth maintenance system, AI. 28, p. 127–224, 1986.