Alyson Reeves A Parallel Implementation of Buchberger's Algorithm over <i>Z<sub>p</sub></i> for <i>p</i> <= 31991. 229-244 1998 26 J. Symb. Comput. 2 db/journals/jsc/jsc26.html#Reeves98