Learning selection strategies in Buchberger's algorithm

Open in new window