Marques-Silva, J. und Sakallah, K.A. (Hrsg.) (2007) „Theory and Applications of Satisfiability Testing - SAT 2007 : 10 th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-72788-0.
Chicago Manual of Style 17th edition (full note)Marques-Silva, Joao, und Karem A Sakallah, Hrsg. „Theory and Applications of Satisfiability Testing - SAT 2007 : 10 th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2007?]. https://doi.org/10.1007/978-3-540-72788-0.
American Psychological Association 7th editionMarques-Silva, J., … Sakallah, K. A. (Hrsg.). (ca. 2007). Theory and Applications of Satisfiability Testing - SAT 2007 : 10 th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2007). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-72788-0
Modern Language Association 9th editionMarques-Silva, J., und K. A. Sakallah, Herausgeber. „Theory and Applications of Satisfiability Testing - SAT 2007 : 10 th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2007, cd, Springer Berlin Heidelberg, 2007, https://doi.org/10.1007/978-3-540-72788-0.
ISO-690 (author-date, Deutsch)MARQUES-SILVA, Joao und Karem A SAKALLAH (Hrsg.). [cd]. 2007. 1 st ed. 2007. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540727880