Non-Standard Logics for Automated Reasoning - Smets, Philippe ed; Mamdani, Abe & Dubois, Didier (Academic Press, London, 1988)