KULLMANN, Oliver (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642027772.
Elsevier - Harvard (with titles)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. 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
Springer - Basic (author-date)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
Juristische Zitierweise (Stüber) (Deutsch)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, Theoretical Computer Science and General Issues 2009, .