Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). On computational tractability for rational verification. International Joint Conferences on Artificial Intelligence.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Gutierrez, J., M. Najib, G. Perelli, و M. Wooldridge. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Gutierrez, J., et al. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.