Title: Algorithms and complexity for temporal and spatial formalisms