APA (7th ed.) Citation

Hofbauer, D. (1992). Termination proofs and derivation lengths in term rewriting systems. Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4.

Chicago Style (17th ed.) Citation

Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. Berlin: Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992.

MLA (9th ed.) Citation

Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992.