TY  - BOOK
AU  - Richards,Tom
TI  - Clausal form logic : an introduction to the logic of computer reasoning
SN  - 0201129205
PY  - 1989///
CY  - Sydney
PB  - Addison-Wesley
ER  -