SCHMIDT, Renate (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642029592.
Elsevier - Harvard (with titles)Schmidt, R. (Hrsg.), 2009. Automated Deduction – CADE-22 : 22 nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-642-02959-2
American Psychological Association 7th editionSchmidt, R. (Hrsg.). (ca. 2009). Automated Deduction – CADE-22 : 22 nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings [Cd]. In Lecture Notes in Artificial Intelligence (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02959-2
Springer - Basic (author-date)Schmidt R (Hrsg.) (2009) Automated Deduction – CADE-22 : 22 nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings. Lecture Notes in Artificial Intelligence
Juristische Zitierweise (Stüber) (Deutsch)Schmidt, Renate (Hrsg.), Automated Deduction – CADE-22 : 22 nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, Lecture Notes in Artificial Intelligence 2009, .