Wang, Dingmin, Pan Hu, Przemysław Andrzej Wałęga, and Bernardo Cuenca Grau. 2022. “MeTeoR: Practical Reasoning in Datalog With Metric Temporal Operators”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (5):5906-13. https://doi.org/10.1609/aaai.v36i5.20535.