author = {B. Buchberger},
title = {{History and Basic Features of the Critical-Pair/Completion Approach}},
booktitle = {{Proceedings of the Conference on Rewriting Techniques and Applications, Dijon}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {1--45},
publisher = {Springer},
isbn_issn = {ISBN 978-3-540-15976-6},
year = {1985},
month = {May},
annote = {1985-05-00-A},
editor = {J.-P. Jouannaud},
refereed = {yes},
length = {45}