Massimo Caboara Pasqualina Conti Carlo Traverso Yet Another Ideal Decomposition Algorithm. 39-54 1997 conf/aaecc/1997 AAECC db/conf/aaecc/aaecc1997.html#CaboaraCT97 http://dx.doi.org/10.1007/3-540-63163-1_4