Gutierrez, J., Najib, M., Perelli, G., & Wooldridge, M. (2020). Automated temporal equilibrium analysis: Verification and synthesis of multi-player games. Elsevier.
芝加哥风格引文Gutierrez, J., M. Najib, G. Perelli, 与 M. Wooldridge. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
MLA引文Gutierrez, J., et al. Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-player Games. Elsevier, 2020.
警告：这些引文格式不一定是100％准确.