[1] Abbott, J. C. (1967). Semi-boolean algebras, Matematicki Vesnik, 4, 177{198.
[2] Borumand Saeid, A., Kim, H. S., & Rezaei, A. (2017). On BI-algebras, Analele Stiinti ceale Universitatii Ovidius Constanta, 25, 177{194.
[3] Chajda, I. (2006). Implication algebras, Discussiones Mathematicae General Algebra and Applications, 26, 141{153.
[5] Imai, Y., & Iseki, K. (1966). On axiom system of propositional calculi, XIV. Proceedings of the Japan Academy, 42, 19{20.
[6] Iorgulescu, A. (2008). Algebras of logic as BCK-algebras, Bucharest University of Economics, Bucharest, Romania.
[7] Iseki, K. (1966). An algebra related with a propositional calculus, Proceedings of the Japan Academy, 42, 26{29.
[8] Hentzel, I. B., Jacobs, D. P., & Muddana, S. V. (1993). Experimenting with the Identity (xy)z = y(zx), Journal of Symbolic Computation, 16(3), 289{293.
https://doi.org/10.1006/jsco.1993.1047
[9] Kim, H. S., & Neggers, J. (2008). The semigroups of binary systems and some perspectives, Bulletin of the Korean Mathematical Society, 45, 651{661.
[10] Kim, H. S., & Kim, Y. H. (2007). On BE-algebras, Scientiae Mathematicae Japonicae, 66, 113{117.
[11] Meng, B. L. (2010). CI-algebras, Scientiae Mathematicae Japonicae, 17, 11{17.
[12] Meng J. & Jun, Y. B. (1994). BCK-algebras, Kyung-Moon Sa Co. Seoul, Korea.
[13] Rump, W. (2008). L-algebras, self-similarity, and `-groups, Journal of Algebra, 320, 2328{2348.
[14] Rezaei, A., & Borumand Saeid, A. (2022). A new extension of RM-algebras, Asian-European Journal of Mathematics, 2250073. doi: 10.1142/S1793557122500735
[15] Smarandache, F., Rezaei, A., & Kim, H. S. (2020). A New trend to extensions of CI-algebras, International Journal of Neutrosophic Scienc, 15(1), 8{15.
[16] Walendziak, A. (2022). On implicative BE-algebras, Annales Universitatis Mariae Curie-Sklodowska Lublin-Polonia, LXXVI(2), 45{54. doi: 0.17951/a.2022.76.2.45-54
[19] Walendziak, A. (2018). Deductive systems and congruences in RM-algebras, Journal of Multiple Valued Logic & Soft Computing, 30(4), 521{539.
[20] Walendziak, A. (2018). The implicative property for some generalizations of BCK-algebras, Journal of Multiple Valued Logic & Soft Computing, 31, 591{611.