David Bayer Michael Stillman Computation of Hilbert Functions. 31-50 1992 14 J. Symb. Comput. 1 db/journals/jsc/jsc14.html#BayerS92