An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system
scientific article; zbMATH DE number 6124212