Cita APA (7th ed.)

Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.

Cita Chicago (17th ed.)

Jeavons, P., i J. Petke. Local Consistency and SAT−solvers. 2012.

Cita MLA (9th ed.)

Jeavons, P., i J. Petke. Local Consistency and SAT−solvers. 2012.