Efficient computation of zero-dimensional Gröbner bases by change of ordering (1993)

by J-C Faugère, P Gianni, D Lazard, T Mora
Venue:J. Symbolic Computation