V. Lagerkvist, J. Groven, and L. Eriksson, “Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming”, AAAI, vol. 40, no. 17, pp. 14287–14294, Mar. 2026.