TY - SER AU - Dubois, Didier AU - Prade, Henri TI - CheckingCoherence and Redundancy of Fuzzy Knowledge Bases KW - Coherence Function KW - Fuzzy Rule KW - Redundancy ER -