@misc{indiciae71d5ad25295f,
  title = {Modifying Faugère's F5 Algorithm to ensure termination},
  author = {Christian Eder and Justin Gash and John Perry},
  year = {2010},
  url = {https://arxiv.org/abs/1006.0318},
  note = {Source identifier: 1006.0318}
}