Tena Cucala, D. J., Wałęga, P. A., Cuenca Grau, B. and Kostylev, E. (2021) “Stratified Negation in Datalog with Metric Temporal Operators”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), pp. 6488-6495. doi: 10.1609/aaai.v35i7.16804.