APA stil citiranja

Siekmann, J., & Wrightson, G. (1983). Automation of reasoning: Automation of reasoning. Berlin ; Heidelberg ; New York: Springer.

Chicago stil citiranja

Siekmann, Jorg, and Graham Wrightson. Automation of reasoning: Automation of reasoning. Berlin ; Heidelberg ; New York: Springer, 1983.

MLA stil citiranja

Siekmann, Jorg, and Graham Wrightson. Automation of reasoning: Automation of reasoning. Berlin ; Heidelberg ; New York: Springer, 1983.