Undecidability of Interval Temporal Logics with the Overlap Modality | Publicación