APA (7th ed.) Citation

Sandford, D. M. (1980). Using sophisticated models in resolution theorem proving. Springer.

Chicago Style (17th ed.) Citation

Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Berlin [etc.]: Springer, 1980.

MLA (9th ed.) Citation

Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Springer, 1980.