Lagerkvist, V.; Groven, J.; Eriksson, L. Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming. AAAI 2026, 40, 14287-14294.