A structural analysis of modular termination of term rewriting systems - Gramlich, Bernhard (Fachber. Informatik, Univ. Kaiserslautern, 1991)