Transforming infinite rewrite systems into finite rewrite systems by embedding techniques - Avenhaus, Jürgen (Fachbereich Informatik, Univ. Kaiserslautern, 1989)