1. Rajeev Alur and Thomas A. Henzinger. 1993. Real-Time Logics: Complexity and Expressiveness. Information and Computation Vol. 104, 1 (1993), 35--77. https://doi.org/10.1006/inco.1993.1025
2. Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, and Michael Zakharyaschev. 2017. Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk) Proc. of the 24th Int. Symp. on Temporal Representation and Reasoning (TIME'17) (Leibniz International Proceedings in Informatics), Sven Schewe, Thomas Schneider, and Jef Wijsen (Eds.), Vol. Vol. 90. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 1:1--1:37. https://doi.org/10.4230/LIPIcs.TIME.2017.1
3. Alessandro Artale, Vladislav Ryzhikov, and Roman Kontchakov. 2012. DL-Lite with Attributes and Datatypes Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI'12) (Frontiers in Artificial Intelligence and Applications), Luc De Raedt, Christian Bessiere, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, and Peter Lucas (Eds.), Vol. Vol. 242. IOS Press, 61--66. https://doi.org/10.3233/978--1--61499-098--7--61
4. Franz Baader. 2003. Terminological Cycles in a Description Logic with Existential Restrictions Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI'03), Georg Gottlob and Toby Walsh (Eds.). Morgan Kaufmann, 325--330. http://ijcai.org/Proceedings/03/Papers/048.pdf
5. Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost. 2017. Metric Temporal Description Logics with Interval-Rigid Names Proc. of the 11th Int. Symp. on Frontiers of Combining Systems (FroCoS'17) (Lecture Notes in Computer Science), Clare Dixon and Marcelo Finger (Eds.), Vol. Vol. 10483. Springer, 60--76. https://doi.org/10.1007/978--3--319--66167--4_4