Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

Siekmann, Jörg H., y Graham Wrightson. Automation of Reasoning. Berlin [etc.]: Springer, 1983.

Cita MLA (9a ed.)

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