Franz Winkler Bruno Buchberger Franz Lichtenberger Heinrich Rolletschek Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. 66-78 1985 11 ACM Trans. Math. Softw. 1 http://doi.acm.org/10.1145/3147.214316 db/journals/toms/toms11.html#WinklerBLR85