Beatrice Amrhein Oliver Gloor Wolfgang Küchlin A Case Study of Multi-Threaded Gröbner Basis Completion. 95-102 1996 ISSAC http://doi.acm.org/10.1145/236869.236908 db/conf/issac/issac96.html#AmrheinGK96