Massimo Caboara Carlo Traverso Efficient Algorithms for Ideal Operations (extended abstract). 147-152 1998 ISSAC http://doi.acm.org/10.1145/281508.281597 db/conf/issac/issac98.html#CaboaraT98