توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Bulatov, A., & Jeavons, P. (2000). Tractable constraints closed under a binary operation. Oxford University Computing Laboratory.

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Bulatov, A., و P. Jeavons. Tractable Constraints Closed Under a Binary Operation. Oxford University Computing Laboratory, 2000.

توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)

Bulatov, A., و P. Jeavons. Tractable Constraints Closed Under a Binary Operation. Oxford University Computing Laboratory, 2000.

تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.