D. A. . Romano, “Strongly Extensional Homomorphism of Implicative Semigroups With Apartness”, sjm, vol. 13, no. 2, pp. 155–162, Feb. 2018.