S. Wang, “Goal-Driven Reasoning in DatalogMTL with Magic Sets”, AAAI, vol. 39, no. 14, pp. 15203–15211, Apr. 2025.