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

Borner, F., Bulatov, A., Jeavons, P., & Krokhin, A. (2003). Quantified constraints: Algorithms and complexity.

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

Borner, F., A. Bulatov, P. Jeavons, و A. Krokhin. Quantified Constraints: Algorithms and Complexity. 2003.

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

Borner, F., et al. Quantified Constraints: Algorithms and Complexity. 2003.