Finiteness Conditions for Rewriting Systems. - Stuart Mcglashan; Elton Pasku; Stephen J. Pride (Int. J. Algebra Comput., 2005)