Some completely semisimple HNN-extensions of inverse semigroups. - Mohammed Abu Ayyash; Alessandra Cherubini (Int. J. Algebra Comput., 2020)