TY  - RPRT
TI  - MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
AU  - Dingmin Wang
AU  - Pan Hu
AU  - Przemysław Andrzej Wałęga
AU  - Bernardo Cuenca Grau
PY  - 2022
UR  - https://arxiv.org/abs/2201.04596
ID  - 2201.04596
ER  -