North-Holland
Journal of Pure and Applied 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.