Jeavons, P., & Petke, J. (2012). Local consistency and SAT−solvers.
芝加哥风格引文Jeavons, P., 与 J. Petke. Local Consistency and SAT−solvers. 2012.
MLA引文Jeavons, P., 与 J. Petke. Local Consistency and SAT−solvers. 2012.
警告：这些引文格式不一定是100％准确.
APA引文