Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods

Alfonso Miola, Teo Mora. Constructive Lifting in Graded Structures: A Unified View of Buchberger and Hensel Methods. Journal of Symbolic Computation, 6(2/3):305-322, 1988.

Abstract

Abstract is missing.