improved buchberger