Relating innermost, weak, uniform and modular termination of term rewriting systems - Gramlich, Bernhard (Fachbereich Informatik, Univ. Kaiserslautern, 1993)