A structural analysis of modular termination of term rewriting systems - Gramlich, Bernhard (Universität <Kaiserslautern>, 1991)