INVERSE MONOIDS OF DOT-DEPTH TWO
David Cowan · International Journal of Algebra and Computation · 1993
It is shown that the pseudovariety of inverse monoids of dot-depth two is decidable and is equal to the Malcev product of the pseudovariety generated by the 5 element Brandt semigroup and the variety of semilattices.