Stephen R. Czapor A Heuristic Selection Strategy for Lexicographic Gröbner Bases? 39-48 1991 ISSAC http://doi.acm.org/10.1145/120694.120700 db/conf/issac/issac91.html#Czapor91