TY  - BOOK
AU  - BESNARD,PHILIPPE
TI  - INTRODUCTION TO DEFAULT LOGIC
SN  - KBCS
U1  - 901 
PY  - 1989///
CY  - BERLIN
PB  - SV
N1  - BR-1143
ER  -