Wang, Shaoyu, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai, and Pan Hu. 2025. “Goal-Driven Reasoning in DatalogMTL With Magic Sets”. Proceedings of the AAAI Conference on Artificial Intelligence 39 (14):15203-11. https://doi.org/10.1609/aaai.v39i14.33668.