APA (7th ed.) Citation

Siekmann, J. H., & Wrightson, G. (1983). Automation of reasoning: Classical papers on computational logic. Springer.

Chicago Style (17th ed.) Citation

Siekmann, Jörg H., and Graham Wrightson. Automation of Reasoning: Classical Papers on Computational Logic. Berlin u.a: Springer, 1983.

MLA (9th ed.) Citation

Siekmann, Jörg H., and Graham Wrightson. Automation of Reasoning: Classical Papers on Computational Logic. Springer, 1983.