"Selection strategies in Buchberger algorithm" - читать интересную книгу автора (Giovini et al.)