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

Alessandro Giovini, Teo Mora, Gianfranco Niesi, Lorenzo Robbiano, Carlo Traverso

Browse the full ISSAC paper archive.