APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Berlin ; New York: Springer-Verlag, 1980.

MLA (9th ed.) Citation

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