Wang, D.; Hu, P.; Wałęga, P. A.; Grau, B. C. MeTeoR: Practical Reasoning in Datalog With Metric Temporal Operators. AAAI 2022, 36, 5906-5913.