Lagerkvist, Victor, Johanna Groven, and Leif Eriksson. “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, no. 17 (March 14, 2026): 14287–14294. Accessed May 21, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/38443.