1. M. Bardet, J.-C. Faugère, B. Salvy, On the complexity of Gröbner basis computation of semi-regular overdetermined algebraic equations, presented at International Conference on Polynomial System Solving, 2004.
2. Signature-based algorithms to compute standard bases;Eder,2012
3. Modifying Faugère's F5 algorithm to ensure termination;Eder;ACM Commun. Comput. Algebra,2011