Non-standard logics for automated reasoning. - Smets, Philippe; Mamdani, Abe; Prade, Henri (New York : Academic Press Inc., 1988)