Lagerkvist, V., Groven, J., & Eriksson, L. (2026). Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming. Proceedings of the AAAI Conference on Artificial Intelligence, 40(17), 14287–14294. https://doi.org/10.1609/aaai.v40i17.38443