A. Artale, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev, “Tractable Interval Temporal Propositional and Description Logics”, AAAI, vol. 29, no. 1, Feb. 2015.