1. Alchourrón, Gärdenfors and Makinson. On the logic of theory change: partial meet contraction and revision functions. Symbolic Logic, vol 50, 510–530, 1985.
2. Benferhat, Cayrol, Dubois, Lang, Prade. Inconsistency management and prioritized syntax-based entailment. DCAI, vol 3, 640–645, 1993.
3. Benferhat and Smets. Belief functions for logical problems: representing default rules in e-beliefs logics. In Abstract of the Dagstuhl Seminar, 1993.
4. Lect Notes Comput Sci;H. Bezzazi,1998
5. Bouali, Loiseau. Rule Base Diagnosis for debugging. EUROVAV, 225–240, 1995.