The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border | Publicación