APA-viite (7. p.)

Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2022). On the complexity of rational verification. Springer.

Chicago-viite (17. p.)

Gutierrez, J., M. Najib, G. Perelli, ja M. Wooldridge. On the Complexity of Rational Verification. Springer, 2022.

MLA-viite (9. p.)

Gutierrez, J., et al. On the Complexity of Rational Verification. Springer, 2022.