Strategy-accurate parallel Buchberger algorithms (1996)

by G Attardi, C Traverso
Venue:J. Symbolic Comput