Finite Materialisability of Datalog Programs with Metric Temporal Operators. - Wałęga, Przemysław Andrzej; Zawidzki, Michał; Cuenca Grau, Bernardo (Journal of Artificial Intelligence Research, 2023)