@misc{RISC2532,
author = {B. Buchberger},
title = {{Eine Verbesserung des Knuth-Bendix-Algorithmus (An Improvement of the Knuth-Bendix Algorithm)}},
language = {german},
year = {1983},
month = {November 7},
annote = {1983-11-07-A},
note = {Invited colloquium talk at Institute for Computer Science, University of Erlangen},
institution = {Institute for Computer Science, University of Erlangen}
}