Faugère, J.-C. (2002) A New Efficient Algorithm for Computing Grbner Bases without Reduction to Zero (F5). Proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation (ISSAC’02), Association for Computing Machinery, Inc., New York, 75-83. - References - Scientific Research Publishing