A Subdirect Product and Several Sufficient Conditions about a Strong Semilattice of Inverse Semigroups | IEEE Conference Publication | IEEE Xplore