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