Computing a Gröbner basis of a polynomial ideal over a Euclidean domain (1988)

by A Kandri−Rody, D Kapur
Venue:Journal of Symbolic Computation