TY  - BOOK
AU  - CLARKE, D.S.
TI  - Practical inferences
U1  - 160 C40P 1985 
CY  - London
KW  - LOGIC
ER  -