APA stil citiranja

Siekmann, J. H., Hutter, D., & Stephan, W. (2005). Mechanizing mathematical reasoning: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin ; New York: Springer.

Chicago stil citiranja

Siekmann, Jörg H., Dieter Hutter, and Werner Stephan. Mechanizing mathematical reasoning: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin ; New York: Springer, 2005.

MLA stil citiranja

Siekmann, Jörg H., Dieter Hutter, and Werner Stephan. Mechanizing mathematical reasoning: Mechanizing mathematical reasoning : essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin ; New York: Springer, 2005.