PFENNING, Frank (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540735953.
Elsevier - Harvard (with titles)Pfenning, F. (Hrsg.), 2007. Automated Deduction - CADE-21 : 21 st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-73595-3
American Psychological Association 7th editionPfenning, F. (Hrsg.). (ca. 2007). Automated Deduction - CADE-21 : 21 st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings [Cd]. In Lecture Notes in Artificial Intelligence (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-73595-3
Springer - Basic (author-date)Pfenning F (Hrsg.) (2007) Automated Deduction - CADE-21 : 21 st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings. Lecture Notes in Artificial Intelligence
Juristische Zitierweise (Stüber) (Deutsch)Pfenning, Frank (Hrsg.), Automated Deduction - CADE-21 : 21 st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings, Lecture Notes in Artificial Intelligence 2007, .