TY  - DATA
AU  - David M. Sandford
TI  - Using Sophisticated Models in Resolution Theorem Proving
SN  - 9783540383062
PY  - 1980///
PB  - Springer Berlin Heidelberg
KW  - Computer Science
UR  - https://doi.org/10.1007/3-540-10231-0
ER  -