TY  - RPRT
TI  - Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)
AU  - Davide Bresolin
AU  - Agi Kurucz
AU  - Emilio Muñoz-Velasco
AU  - Vladislav Ryzhikov
AU  - Guido Sciavicco
AU  - Michael Zakharyaschev
PY  - 2017
DO  - 10.1145/3105909
UR  - https://arxiv.org/abs/1604.03515
ID  - 1604.03515
ER  -