A Completion Procedure for globally finite term rewriting systems. - Goebel, Richard (Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern, 1983)