Non-standard logics for automated reasoning
Smets, Philippe.
Academic
1988
Logic, Symbolic and mathematical.