Exponential Space Computation of Gröbner Bases. - Klaus Kühnle; Ernst W. Mayr (ISSAC, 1996)