Ulla Koppenhagen Ernst W. Mayr An Optimal Algorithm for Constructing the Reduced Gröbner Basis of Binomial Ideals. 55-62 1996 ISSAC http://doi.acm.org/10.1145/236869.236899 db/conf/issac/issac96.html#KoppenhagenM96