Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2019). On computational tractability for rational verification. International Joint Conferences on Artificial Intelligence.
Chicago-referens (17:e uppl.)Gutierrez, J., M. Najib, G. Perelli, och M. Wooldridge. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.
MLA-referens (9:e uppl.)Gutierrez, J., et al. On Computational Tractability for Rational Verification. International Joint Conferences on Artificial Intelligence, 2019.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.