David Bayer Michael Stillman On the Complexity of Computing Syzygies. 135-147 1988 6 J. Symb. Comput. 2/3 db/journals/jsc/jsc6.html#BayerS88