APA (7th ed.) Citation

Hofbauer, D. (1992). Termination proofs and derivation lengths in term rewriting systems.

Chicago Style (17th ed.) Citation

Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. Berlin, 1992.

MLA (9th ed.) Citation

Hofbauer, Dieter. Termination Proofs and Derivation Lengths in Term Rewriting Systems. 1992.

Warning: These citations may not always be 100% accurate.