@misc{indiciaecb0e0ae4d9e6,
  title = {Goal-Driven Reasoning in DatalogMTL with Magic Sets},
  author = {Shaoyu Wang and Kaiyue Zhao and Dongliang Wei and Przemysław Andrzej Wałęga and Dingmin Wang and Hongming Cai and Pan Hu},
  year = {2026},
  url = {https://arxiv.org/abs/2412.07259},
  note = {Source identifier: 2412.07259}
}