TY  - RPRT
TI  - The Stable Model Semantics of Datalog with Metric Temporal Operators
AU  - Przemysław A. Wałęga
AU  - David J. Tena Cucala
AU  - Bernardo Cuenca Grau
AU  - Egor V. Kostylev
PY  - 2023
UR  - https://arxiv.org/abs/2306.07625
ID  - 2306.07625
ER  -