1. The F5 criterion revised;Arri;J. Symb. Comput.,2011
2. Extended F5 criteria;Ars;J. Symb. Comput.,2010
3. Ein algorithmus zum auffinden der basiselemente des restklassenrings nach einem nulldimensionalen polynomideal;Buchberger,1965
4. A criterion for detecting unnecessary reductions in the construction of Gröbner bases;Buchberger,1979
5. Gröbner bases: an algorithmic method in polynomial ideal theory;Buchberger,1985