Membership in polynomial ideals over Q is exponential space complete - Mayr, Ernst W. 1950- (1988)