Term orderings on the polynomial ring (1985)

by L Robbiano
Venue:L.N.C.S