TY  - BOOK
AU  - RICHARDS,TOM
TI  - CLAUSAL FORM LOGIC: AN INTRODUCTION TO THE LOGIC OF COMPUTER REASONING
SN  - KBCS
U1  - 901 
PY  - 1989///
CY  - SYDNEY
PB  - AW
N1  - BR-965
ER  -