A double exponential lower bound for degrees compatible Grubner bases - Yap, Chee K. (1988)