,
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. In Journal of Pure and Applied Algebra (pp. 431–445). North-Holland.