Hofbauer, D., & Kutsche, R. (1988). Proving inductive theorems based on term rewriting systems. Univ.-Bibl. d. Techn. Univ.
Chicago-Zitierstil (17. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Proving Inductive Theorems Based on Term Rewriting Systems. Berlin: Univ.-Bibl. d. Techn. Univ, 1988.
MLA-Zitierstil (9. Ausg.)Hofbauer, Dieter, und Ralf-Detlef Kutsche. Proving Inductive Theorems Based on Term Rewriting Systems. Univ.-Bibl. d. Techn. Univ, 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.