Wang D, Hu P, Wałęga PA, Grau BC. MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. AAAI [Internet]. 2022 Jun. 28 [cited 2026 May 27];36(5):5906-13. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/20535