Inproceedings,

Öne Sugar cube, Please" or Selection Strategies in the Buchberger Algorithm.

, , , , and .
ISSAC, page 49-54. ACM, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews