Akira Suzuki Yosuke Sato A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases. 326-331 2006 conf/issac/2006 ISSAC http://doi.acm.org/10.1145/1145768.1145821 db/conf/issac/issac2006.html#SuzukiS06