Wang, S., Zhao, K., Wei, D., Wałęga, P. A., Wang, D., Cai, H., & Hu, P. (2025). Goal-Driven Reasoning in DatalogMTL with Magic Sets. Proceedings of the AAAI Conference on Artificial Intelligence, 39(14), 15203–15211. https://doi.org/10.1609/aaai.v39i14.33668