@misc{RISC2540,
author = {B. Buchberger},
title = {{Critical-Pair/Completion Algorithmen: Übersicht und neue Ergebniss (Critical Pair / Completion Algorithms: Overview and New Results)}},
language = {german},
year = {1983},
month = {June 1},
annote = {1983-06-01-A},
note = {Invited colloquium talk at Institute for Computer Science, University of Karlsruhe},
institution = {Institute for Computer Science, University of Karlsruhe}
}