Lesperance, Y., De Giacomo, G., Rostamigiv, M., & Khan, S. M. (2024). Abstraction of Situation Calculus Concurrent Game Structures. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 10624-10634. https://doi.org/10.1609/aaai.v38i9.28933