author = {B. Buchberger},
title = {{The Parallelization of Critical-Pair/Completion Procedures on the L-Machine}},
language = {english},
year = {1987},
month = {February},
annote = {1987-02-00-A},
note = {Contributed talk at Japanese Symp. on Functional Programming, RIKEN Institute},
conferencename = {Japanese Symp. on Functional Programming, RIKEN Institute}