Transforming infinite rewrite systems into finite rewrite systems by embedding techniques - Avenhaus, Jürgen (Seki-Report, 1989)