William W. Adams A. K. Boyle Philippe Loustaunau Transitivity for Weak and Strong Gröbner Bases. 49-65 1993 15 J. Symb. Comput. 1 db/journals/jsc/jsc15.html#AdamsBL93