1. The Magma algebra system. I. The user language;Bosma,1997
2. Complexity of Gröbner Basis Computation of Semi-Regular Overdetermined Sequences over F2 with Solutions in F2;Bardet,2003
3. On the complexity of the F5 Gröbner basis algorithm;Bardet;J. Symb. Comput.,2015
4. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal;Buchberger,1965