author = {B. Buchberger},}
title = {{Critical Pair / Completion Algorithms}},
language = {english},
year = {1982},
month = {April 1},
annote = {1982-04-01-A},
note = {Invited colloquium talk at Artificial Intelligence Seminar, Computer Science Department, University of Delaware},
institution = {Artificial Intelligence Seminar, Computer Science Department, University of Delaware}