Tena Cucala, D. J.; Wałęga, P. A.; Cuenca Grau, B.; Kostylev, E. Stratified Negation in Datalog With Metric Temporal Operators. AAAI 2021, 35, 6488-6495.