APA stil citiranja

Sandford, D. M. (1980). Using sophisticated models in resolution theorem proving: Using sophisticated models in resolution theorem proving (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

Sandford, David M. Using sophisticated models in resolution theorem proving: Using sophisticated models in resolution theorem proving. 1. izd. Berlin: Springer Verlag, 1980.

MLA stil citiranja

Sandford, David M. Using sophisticated models in resolution theorem proving: Using sophisticated models in resolution theorem proving. 1. izd. Berlin: Springer Verlag, 1980.