TY  - BOOK
AU  - Smets, P.
TI  - NON - STANDARD LOGICS FOR AUTOMATED REASONING
SN  - 0 12 649520 3
U1  - 511.3 
PY  - 1988///
CY  - 
PB  - Academic Press
ER  -