@misc{indiciae0cd73d91c932,
  title = {The Temporal Vadalog System: Temporal Datalog-based Reasoning},
  author = {Luigi Bellomarini and Livia Blasi and Markus Nissl and Emanuel Sallinger},
  year = {2024},
  doi = {10.1017/s1471068425000018},
  url = {https://arxiv.org/abs/2412.13019},
  note = {Source identifier: 2412.13019}
}