Gramlich, B. (1991). A structural analysis of modular termination of term rewriting systems. Fachber. Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Gramlich, Bernhard. A Structural Analysis of Modular Termination of Term Rewriting Systems. Kaiserslautern: Fachber. Informatik, Univ. Kaiserslautern, 1991.
MLA-Zitierstil (9. Ausg.)Gramlich, Bernhard. A Structural Analysis of Modular Termination of Term Rewriting Systems. Fachber. Informatik, Univ. Kaiserslautern, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.