Ulla Koppenhagen Ernst W. Mayr An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals. 317-338 1999 28 J. Symb. Comput. 3 db/journals/jsc/jsc28.html#KoppenhagenM99