Olaf Bachmann Hans Schönemann Monomial Representations for Gröbner Bases Computations. 309-316 1998 ISSAC http://doi.acm.org/10.1145/281508.281657 db/conf/issac/issac98.html#BachmannS98