Hofbauer, D. (1992). Termination proofs and derivation lengths in term rewriting systems ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. [Mikrofiche-Ausg.]. Berlin, 1992.
MLA-Zitierstil (9. Ausg.)Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. [Mikrofiche-Ausg.]. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.