R. Gebauer Michael Kalkbrener B. Wall Franz Winkler CASA: A Computer Algebra Package for Constructive Algebraic Geometry. 403-410 1991 ISSAC http://doi.acm.org/10.1145/120694.120756 db/conf/issac/issac91.html#GebauerKWW91