On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems
scientific article; zbMATH DE number 6502258
scientific article