1. A really temporal logic;Alur;J. ACM,1994
2. A. Artale, R. Kontchakov, A. Kovtunova, V. Ryzhikov, F. Wolter and M. Zakharyaschev, First-order rewritability of temporal ontology-mediated queries, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25–31, 2015, Q. Yang and M. Wooldridge, eds, AAAI Press, 2015, pp. 2706–2712, http://ijcai.org/Abstract/15/383. ISBN 978-1-57735-738-4.
3. A. Artale, R. Kontchakov, F. Wolter and M. Zakharyaschev, Temporal description logic for ontology-based data access, in: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3–9, 2013, F. Rossi, ed., IJCAI/AAAI, 2013, pp. 711–717, http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6824. ISBN 978-1-57735-633-2.
4. Metric Temporal Description Logics with Interval-Rigid Names