A MIMD Implementation of the Buchberger Algorithm for Boolean Polynomials.

Pascale Sénéchaud A MIMD Implementation of the Buchberger Algorithm for Boolean Polynomials. 29-37 1991 17 Parallel Computing 1 db/journals/pc/pc17.html#Senechaud91