Solving Polynomial Equation Systems IV: Volume 4, Buchberger Theory and Beyond