Wałęga, Przemysław A., Michał Zawidzki, Dingmin Wang, and Bernardo Cuenca Grau. 2023. “Materialisation-Based Reasoning in DatalogMTL With Bounded Intervals”. Proceedings of the AAAI Conference on Artificial Intelligence 37 (5):6566-74. https://doi.org/10.1609/aaai.v37i5.25807.