Romano DA. Strongly Extensional Homomorphism of Implicative Semigroups With Apartness. sjm [Internet]. 2018 Feb. 7 [cited 2024 Oct. 15];13(2):155-62. Available from: https://sjm.anubih.ba/index.php/sjm/article/view/92