1. Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley, London (1969)
2. Bigatti, A.M.: Computation of hilbert-poincaré series. J. Pure Appl. Algebra 119(3), 237–253 (1997)
3. Buchberger, B.: An Algorithm for Finding the Bases Elements of the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal (German). Univ. of Innsbruck, Austria (1965)
4. Eder, C.: On the criteria of the f5 algorithm. In:
arXiv:0804.2033v1
(2008)
5. Eder, C., Perry, J.: F5c: a variant of faugre’s f5 algorithm with reduced gröbner bases. J Symbolic Comput. 45(12), 1442–1458 (2010)