APA (7th ed.) Citation

Siekmann, J. H., & Wrightson, G. (1983). Automation of reasoning. Springer.

Chicago Style (17th ed.) Citation

Siekmann, Jörg H., and Graham Wrightson. Automation of Reasoning. Berlin ; New York: Springer, 1983.

MLA (9th ed.) Citation

Siekmann, Jörg H., and Graham Wrightson. Automation of Reasoning. Springer, 1983.