APA (7th ed.) Citation

Sandford, D. M. (1980). Using sophisticated models in resolution theorem proving. Springer. https://doi.org/10.1007/3-540-10231-0

Chicago Style (17th ed.) Citation

Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Berlin [u.a.]: Springer, 1980. https://doi.org/10.1007/3-540-10231-0.

MLA (9th ed.) Citation

Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Springer, 1980. https://doi.org/10.1007/3-540-10231-0.