(1983). Automation of reasoning: Classical papers on computational logic. Springer.
Chicago Style (17th ed.) CitationAutomation of Reasoning: Classical Papers on Computational Logic. Berlin [u.a.]: Springer, 1983.
MLA (9th ed.) CitationAutomation of Reasoning: Classical Papers on Computational Logic. Springer, 1983.
Warning: These citations may not always be 100% accurate.