Term orderings on the polynomial ring (1985)

by L Robbiano
Venue:In EUROCAL 85, Lecture Notes in Computer Science