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%.