(S, *) is a semigroup S equipped with a unary operation "*". This work is devoted to a class of unary semigroups, namely E- *-. A unary semigroup (S, *) is called an E-inversive *-semigroup if the following identities hold: $$x^*xx^*
Y. Chae, S. Y. Lee, and C. Y. Park, A Characterization of *-congruences on a regular *-semigroup, Semigroup Forum 56 (1998), no. 3, 442-445.
X. K. Fan and Q. H. Chen, Strongly P-congruences on P-inversive semigroup, Adavance in Mathematics (China) 33 (2004), no. 4, 434-440.
Z. H. Gao and B. J. Yu, Sublattices of the lattices of strongly P-congruences on P- inversive semigroups, Semigroup Forum 75 (2007), no. 2, 272-292.
J. M. Howie, An Introduction to Semigroup Theory, Academic Press, London, 1976.
T. Imaoka, Congruences on regular *-semigroups, Semigroup Forum 23 (1981), no. 4, 321-326.
T. E. Nordahl and H. E. Scheiblich, Regular *-semigroups, Semigroup Forum 16 (1978), no. 3, 369-377.
M. Petrich, Inverse Semigroups, A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1984.
M. Petrich and N. R. Reilly, Completely Regualr Semigroups, A Wiley-Interscience Publication, 1999.
M. Yamada, P-systems in regular semigroups, Semigroup Forum 24 (1982), no. 2-3, 173-178.
B. Weipoltshammer, Certain congruences on E-inversive E-semigroups, Semigroup Forum 65 (2002), no. 2, 233-248.