APA-Zitierstil (7. Ausg.)

(2011). Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings. Springer. https://doi.org/10.1007/978-3-642-22438-6

Chicago-Zitierstil (17. Ausg.)

Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings. Berlin [u.a.]: Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6.

MLA-Zitierstil (9. Ausg.)

Automated Deduction - CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings. Springer, 2011. https://doi.org/10.1007/978-3-642-22438-6.