APA (7. basım) Alıntı
Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Springer.
Chicago Style (17. basım) Atıf
Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Berlín, Alemania: Springer.
MLA (9th ed.) Atıf
Oliver Kullmann. Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings. Springer.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..