Bresolin, et al.. Horn Fragments of the Halpern-shoham Interval Temporal Logic. Association for Computing Machinery (ACM), Aug. 2017, doi:10.1145/3105909.