@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},
  note={{CoRR abs/2112.01132}},
}