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

Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2022). On the complexity of rational verification. Springer.

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

Gutierrez, J., M. Najib, G. Perelli, و M. Wooldridge. On the Complexity of Rational Verification. Springer, 2022.

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

Gutierrez, J., et al. On the Complexity of Rational Verification. Springer, 2022.