@misc{ramusat2021practical,
  title={\href{https://pierre.senellart.com/publications/ramusat2021practical.pdf}{A Practical Dynamic Programming Approach to Datalog Provenance Computation}},
  author={Yann Ramusat and Silviu Maniu and Pierre Senellart},
  month=dec,
  year={2021},
  eprint={2112.01132},
  archiveprefix={arXiv},
  note={arXiv abs/2112.01132},
  url={https://pierre.senellart.com/publications/ramusat2021practical.pdf},
}