Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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

Παραπομπή σε μορφή MLA (9th εκδ.)

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