Lesperance, Y.; De Giacomo, G.; Rostamigiv, M.; Khan, S. M. Abstraction of Situation Calculus Concurrent Game Structures. AAAI 2024, 38, 10624-10634.