D. Wang, P. Hu, P. A. Wałęga, and B. C. Grau, “MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators”, AAAI, vol. 36, no. 5, pp. 5906-5913, Jun. 2022.