Demin, A., Rahkooy, H., & Sturm, T. (2022). F5: A REDUCE Package for Signature-based Gröbner Basis Computation. In CASC 2022 - Computer Algebra in Scientific Computing. HAL. Retrieved from https://hal.science/hal-03781962.