TY  - BOOK
AU  - SMETS,PHILIPPE (ED)
TI  - NON STANDARD LOGICS FOR AUTOMATED REASONING
SN  - KBCS
U1  - 1135 
PY  - 1988///
CY  - LONDON
PB  - AP
N1  - BR-242
ER  -