Gröbner bases : a computational approach to commutative algebra - Thomas Becker, Volker Weispfenning