BAGNALL, Alexander; MERTEN, Samuel; STEWART, Gordon. A Library for Algorithmic Game Theory in Ssreflect/Coq. Journal of Formalized Reasoning, [S. l.], v. 10, n. 1, p. 67–95, 2017. DOI: 10.6092/issn.1972-5787/7235. Disponível em: https://jfr.unibo.it/article/view/7235. Acesso em: 27 jul. 2024.