Lagerkvist, V., Groven, J. and 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), pp. 14287–14294. doi: 10.1609/aaai.v40i17.38443.