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