[1]
A. Bagnall, S. Merten, and G. Stewart, “A Library for Algorithmic Game Theory in Ssreflect/Coq”, JFR, vol. 10, no. 1, pp. 67–95, Jan. 2017.