@misc{indiciae333552eb1cda,
  title = {Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings},
  author = {Stefan Neuwirth and Henri Lombardi and Ihsen Yengui},
  year = {2024},
  url = {https://arxiv.org/abs/2411.16460},
  note = {Source identifier: 2411.16460}
}