@misc{indiciae12f5ab2f35ac,
  title = {Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)},
  author = {Davide Bresolin and Agi Kurucz and Emilio Muñoz-Velasco and Vladislav Ryzhikov and Guido Sciavicco and Michael Zakharyaschev},
  year = {2017},
  doi = {10.1145/3105909},
  url = {https://arxiv.org/abs/1604.03515},
  note = {Source identifier: 1604.03515}
}