Gramlich, B. (1993). Relating innermost, weak, uniform and modular termination of term rewriting systems. Fachbereich Informatik, Univ. Kaiserslautern.
Chicago Style (17th ed.) CitationGramlich, Bernhard. Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1993.
MLA (9th ed.) CitationGramlich, Bernhard. Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems. Fachbereich Informatik, Univ. Kaiserslautern, 1993.
Warning: These citations may not always be 100% accurate.