Wałęga, P. A., Zawidzki, M., Wang, D., & Cuenca Grau, B. (2023). Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6566-6574. https://doi.org/10.1609/aaai.v37i5.25807