Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond (Encyclopedia of Mathematics and its Applications)