1. V. A. Mityunin and E. V. Pankratiev, Parallel algorithms for Gröbner-basis construction, J. Math. Sci. (N. Y.) 142 (2007), no. 4, 2248–2266.