Two-sorted Point-Interval Temporal Logics | Publicación