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