Eliminating unbounded search in computable algebra
scientific article; zbMATH DE number 6756750
scientific article