Kullmann, O. (Hrsg.) (2009) „Theory and Applications of Satisfiability Testing - SAT 2009 : 12 th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-02777-2.
Chicago Manual of Style 17th edition (full note)Kullmann, Oliver, Hrsg. „Theory and Applications of Satisfiability Testing - SAT 2009 : 12 th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-02777-2.
American Psychological Association 7th editionKullmann, O. (Hrsg.). (ca. 2009). Theory and Applications of Satisfiability Testing - SAT 2009 : 12 th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-02777-2
Modern Language Association 9th editionKullmann, O., Herausgeber. „Theory and Applications of Satisfiability Testing - SAT 2009 : 12 th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-02777-2.
ISO-690 (author-date, Deutsch)KULLMANN, Oliver (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642027772