Lagerkvist, Victor, Johanna Groven, and Leif Eriksson. 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-94. https://doi.org/10.1609/aaai.v40i17.38443.