1. Alur, R., Henzinger, T.A.: Real-time logics: complexity and expressiveness. Inf. Comput. 104(1), 35–77 (1993)
2. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–204 (1994)
3. Artale, A., Bresolin, D., Montanari, A., Sciavicco, G., Ryzhikov, V.: DL-lite and interval temporal logics: a marriage proposal. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pp. 957–958. IOS Press (2014)
4. Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), pp. 1417–1423. AAAI Press (2015)
5. Artale, A., Kontchakov, R., Lutz, C., Wolter, F., Zakharyaschev, M.: Temporalising tractable description logics. In: Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), pp. 11–22. IEEE Press (2007)