Wang, S.; Zhao, K.; Wei, D.; Wałęga, P. A.; Wang, D.; Cai, H.; Hu, P. Goal-Driven Reasoning in DatalogMTL With Magic Sets. AAAI 2025, 39, 15203-15211.