Romano, Daniel A. “Strongly Extensional Homomorphism of Implicative Semigroups With Apartness”. Sarajevo Journal of Mathematics 13, no. 2 (February 7, 2018): 155–162. Accessed January 26, 2026. https://www.sjm.anubih.ba/index.php/sjm/article/view/92.