Title: A double exponential lower bound for degree-compatible Grobner bases
First published: 1988