Sandford, D. M. (1980). Using sophisticated models in resolution theorem proving. Springer-Verlag.
Chicago Style (17th ed.) CitationSandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Berlin: Springer-Verlag, 1980.
MLA (8th ed.) CitationSandford, David M. Using Sophisticated Models in Resolution Theorem Proving. Springer-Verlag, 1980.
Warning: These citations may not always be 100% accurate.
