APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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