A non-commutative F5 algorithm with an application to the computation of   Loewy layers
  We provide a non-commutative version of the F5 algorithm, namely for right-modules over path algebra quotients. It terminates, if the path algebra quotient is a basic algebra. In addition, we use the F5 algorithm in negative degree monomial orderings to compute Loewy layers. 
Simon A. King
math.AC math.GR