Romano, Daniel A. “Strongly Extensional Homomorphism of Implicative Semigroups With Apartness”. Sarajevo Journal of Mathematics, vol. 13, no. 2, Feb. 2018, pp. 155-62, https://sjm.anubih.ba/index.php/sjm/article/view/92.