Non-standard logics for automated reasoning - Smets, Philippe (Academic Press Inc, 1988)