1. Avenhaus, J.: "Transforming infinite rewrite systems into finite rewrite systems by embedding techniques", SEKI Report SR-89-21, Universität Kaiserslautern, 1989
2. Book, R.V.: "Thue systems as rewriting systems", Proc. RTA '85, Dijon, 1985, pp. 63–94
3. Chen, H. and Hsiang, J. and Kong, H.-C.: "On finite representations of infinite sequences of terms", Preprint, Extended abstract in: Proc. CTRS '90, Montreal, 1990, pp. 37–44
4. Dershowitz, N., Marcus, L. and Tarlecki, A.: "Existence, uniqueness, and construction of rewrite systems. SIAM Journal on Computation, 17(4), 1988, pp. 629–639
5. Gramlich, B.: "Unification of term schemes — Theory and Applications", SEKI Report SR-88-18, Universität Kaiserslautern, 1988