Joachim Steinbach Generating Polynomial Orderings. 85-93 1994 49 Inf. Process. Lett. 2 db/journals/ipl/ipl49.html#Steinbach94