Lorenzo Robbiano On the Theory of Graded Structures. 139-170 1986 2 J. Symb. Comput. 2 db/journals/jsc/jsc2.html#Robbiano86