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