Carlo Traverso Hilbert Functions and the Buchberger Algorithm. 355-376 1996 22 J. Symb. Comput. 4 db/journals/jsc/jsc22.html#Traverso96