D. J. Tena Cucala, P. A. Wałęga, B. Cuenca Grau, and E. Kostylev, “Stratified Negation in Datalog with Metric Temporal Operators”, AAAI, vol. 35, no. 7, pp. 6488-6495, May 2021.