APA-ийн эшлэл(7 дахь хэвлэлт)

Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). On computational tractability for rational verification. International Joint Conferences on Artificial Intelligence.

Чикаго-гийн эшлэл (17 дахь хэвлэлт)

Gutierrez, J., M. Najib, G. Perelli, ба M. Wooldridge. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.

MLA -ийн эшлэл (9 дэх хэвлэлт)

Gutierrez, J., et al. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.