Elimination of constants from machines over algebraically closed fields
scientific article; zbMATH DE number 1040687
scientific article