Wałęga, P. A.; Zawidzki, M.; Wang, D.; Cuenca Grau, B. Materialisation-Based Reasoning in DatalogMTL With Bounded Intervals. AAAI 2023, 37, 6566-6574.