[1]
Bagnall, A., Merten, S. and Stewart, G. 2017. A Library for Algorithmic Game Theory in Ssreflect/Coq. Journal of Formalized Reasoning. 10, 1 (Jan. 2017), 67–95. DOI:https://doi.org/10.6092/issn.1972-5787/7235.