Wang S, Zhao K, Wei D, Wałęga PA, Wang D, Cai H, et al. Goal-Driven Reasoning in DatalogMTL with Magic Sets. AAAI [Internet]. 2025 Apr. 11 [cited 2026 May 7];39(14):15203-11. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/33668