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