APA (7th ed.) Citation

Steinbach, J. (1989). Proving termination of associative-communicative rewriting systems using the Knuth-Bendix ordering. Fachbereich Informatik, Univ. Kaiserslautern.

Chicago Style (17th ed.) Citation

Steinbach, Joachim. Proving Termination of Associative-communicative Rewriting Systems Using the Knuth-Bendix Ordering. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1989.

MLA (9th ed.) Citation

Steinbach, Joachim. Proving Termination of Associative-communicative Rewriting Systems Using the Knuth-Bendix Ordering. Fachbereich Informatik, Univ. Kaiserslautern, 1989.