(1985). Automated Theorem Proving.
Chicago Style (17th ed.) CitationAutomated Theorem Proving. 1985.
MLA (9th ed.) CitationAutomated Theorem Proving. 1985.
Warning: These citations may not always be 100% accurate.
APA (7th ed.) Citation