Avenhaus, J. (1985). On the termination of the Knuth-Bendix completion algorithm.
Chicago-Zitierstil (17. Ausg.)Avenhaus, Jürgen. On the Termination of the Knuth-Bendix Completion Algorithm. Kaiserslautern, 1985.
MLA-Zitierstil (9. Ausg.)Avenhaus, Jürgen. On the Termination of the Knuth-Bendix Completion Algorithm. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.