Giunchiglia, E., & Walsh, T. (2006). SAT 2005: Satisfiability Research in the Year 2005. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Giunchiglia, Enrico, και Toby Walsh. SAT 2005: Satisfiability Research in the Year 2005. Dordrecht: Springer, 2006.
Παραπομπή σε μορφή MLA (8th εκδ.)Giunchiglia, Enrico, και Toby Walsh. SAT 2005: Satisfiability Research in the Year 2005. Springer, 2006.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.