author = {B. Buchberger},
title = {{Survey on Critical-Pair/Completion Algorithms}},
language = {english},
year = {1985},
month = {May},
annote = {1985-00-00-E},
note = {Invited talk at Rewrite Technique and Applications Conference, Dijon, France},
conferencename = {Rewrite Technique and Applications Conference, Dijon, France}