A basis theorem for free inverse semigroups
scientific article; zbMATH DE number 3585691