@misc{sen2026provenance,
  title={\href{https://pierre.senellart.com/publications/sen2026provenance.pdf}{Provenance of {HAVING} Queries in Semirings with Monus}},
  author={Aryak Sen and Pratik Karmakar and Silviu Maniu and Angelo Saadeh and Pierre Senellart},
  month=sep,
  year={2026},
  eprint={2609.31246},
  archiveprefix={arXiv},
  note={arXiv abs/2609.31246},
  url={https://pierre.senellart.com/publications/sen2026provenance.pdf},
}