Torres, J. “Dynamic Epistemic Logic in Game Design”. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, vol. 13, no. 2, June 2021, pp. 135-40, doi:10.1609/aiide.v13i2.12965.