Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
Čikaški stil citiranja (17. izdanje)Jeavons, P., i J. Petke. Local Consistency and SAT−solvers. 2012.
MLA način citiranja (9. izdanje)Jeavons, P., i J. Petke. Local Consistency and SAT−solvers. 2012.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.