,
North-Holland
Journal of Pure and Applied Algebra
Algorithms for algebra

van Leeuwen, M.& Roelofs, M. (1997). Termination for a class of algorithms for constructing algebras given by generators and relations. Journal of Pure and Applied Algebra, (117/118), 431–445.