A NILPOTENT QUOTIENT ALGORITHM FOR GRADED LIE-RINGS - Havas, G; Newman, M; Vaughanlee, M (JOURNAL OF SYMBOLIC COMPUTATION, 1990)