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