P. A. Wałęga, M. Zawidzki, D. Wang, and B. Cuenca Grau, “Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals”, AAAI, vol. 37, no. 5, pp. 6566–6574, Jun. 2023.