APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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