Wang, Shaoyu, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai, and Pan Hu. “Goal-Driven Reasoning in DatalogMTL With Magic Sets”. Proceedings of the AAAI Conference on Artificial Intelligence 39, no. 14 (April 11, 2025): 15203–15211. Accessed May 7, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/33668.