Gröbner bases : a computational approach to commutative algebra / - Becker, Thomas. (Springer-Verlag,, 1993)