An algorithm of polynomial order for computing the covering dimension of a finite space
scientific article; zbMATH DE number 6892886
scientific article