APA-referens (7:e uppl.)

SpringerLink (Online service), Walsh, T., & Bacchus, F. (2005). Theory and applications of satisfiability testing (vol. # 3569): 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Springer-Verlag GmbH..

Chicago-referens (17:e uppl.)

SpringerLink (Online service), Toby Walsh, och Fahiem Bacchus. Theory and Applications of Satisfiability Testing (vol. # 3569): 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Berlin Heidelberg: Springer-Verlag GmbH., 2005.

MLA-referens (8:e uppl.)

SpringerLink (Online service), et al. Theory and Applications of Satisfiability Testing (vol. # 3569): 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Springer-Verlag GmbH., 2005.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.