APA-Zitierstil (7. Ausg.)

Avenhaus, J. (1984). 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, 1984.

MLA-Zitierstil (9. Ausg.)

Avenhaus, Jürgen. On the Termination of the Knuth-Bendix Completion Algorithm. 1984.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.