Romano, D. A. . Strongly Extensional Homomorphism of Implicative Semigroups With Apartness. sjm 2018, 13, 155-162.