1. Liu J, Li H B, and Cao Y H, Simplification and normalization of indexed differentials involving coordinate transformation, Sci. China Ser. A, 2009, 52: 2266–2286.
2. Buchberger B, A critical-pair completion algorithm for finitely generated ideals in rings, Proc. Logic and Machines: Decision Problems and Complexity, LNCS, 1983, 171: 137–161.
3. Master’s Thesis;S Stifter,1985
4. Weispfenning V, Gröbner bases for polynomial ideals over commutative regular rings, Proc. EUROCAL’87, LNCS, 1987, 378: 336–347.
5. Kandri-Rody A and Kapur D, Computing a Gröbner basis of a polynomial ideal over an Euclidean domain, J. Symbolic Computation, 1988, 6: 37–57.