Horn Fragments of the Halpern-Shoham Interval Temporal Logic | Publicación