Steinbach, J. (1989). Proving termination of associative-communicative rewriting systems using the Knuth-Bendix ordering. Fachbereich Informatik, Univ. Kaiserslautern.
Chicago-Zitierstil (17. Ausg.)Steinbach, Joachim. Proving Termination of Associative-communicative Rewriting Systems Using the Knuth-Bendix Ordering. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1989.
MLA-Zitierstil (9. Ausg.)Steinbach, Joachim. Proving Termination of Associative-communicative Rewriting Systems Using the Knuth-Bendix Ordering. Fachbereich Informatik, Univ. Kaiserslautern, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.