NON - STANDARD LOGICS FOR AUTOMATED REASONING - Smets, P. (Academic Press, 1988)