Romano, D.A. 2018. Strongly Extensional Homomorphism of Implicative Semigroups With Apartness. Sarajevo Journal of Mathematics. 13, 2 (Feb. 2018), 155–162.