A structural analysis of modular termination of term rewriting systems - Gramlich, Bernhard (Seki-Report, 1991)