Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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