TY  - BOOK
AU  - Sandford,David M.
TI  - Using sophisticated models in resolution theorem proving
SN  - 3540102310
PY  - 1980///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer architecture
ER  -