Alessandro Giovini Teo Mora Gianfranco Niesi Lorenzo Robbiano Carlo Traverso ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm. 49-54 1991 ISSAC http://doi.acm.org/10.1145/120694.120701 db/conf/issac/issac91.html#GioviniMNRT91