Hodges, W. (1997). Games in Logic. Proceedings of the Amsterdam Colloquium, 13-18. https://doi.org/10.53437/h8xxsa23