author = {B. Buchberger},
title = {{The Parallelization of Critical-Pair/Completion Procedures on the L-Machine}},
booktitle = {{Proceedings of the Japanese Symposium on Functional Programming, RIKEN Institute}},
language = {english},
pages = {54--61},
isbn_issn = {-},
year = {1987},
month = {February},
annote = {1987-02-00-A},
editor = {-},
refereed = {yes},
length = {8}