author = {B. Buchberger},
title = {{History and Basic Features of the Critical-Pair/Completion Approach}},
language = {english},
year = {1985},
month = {May},
annote = {1985-05-00-A},
note = {Invited talk at Conference on Rewrite Technique and Applications, Dijon, France, (Lecture Notes in Computer Science, Vol. 202, pp. 1-45, Springer)},
conferencename = {Conference on Rewrite Technique and Applications, Dijon, France, (Lecture Notes in Computer Science, Vol. 202, pp. 1-45, Springer)}