Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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