Hodges, Wilfrid. “Games in Logic”. Proceedings of the Amsterdam Colloquium, Dec. 1997, pp. 13-18, https://doi.org/10.53437/h8xxsa23.