T. Moraschini, J.G. Raftery, J.J. Wannenburg, “Varieties of De Morgan monoids: Minimality and irreducible algebras”, Journal of Pure and Applied Algebra, 223:7 (2019), 2780
Antoni Torrens, “Semisimplicity and the discriminator in bounded BCK-algebras”, Algebra Univers., 63:1 (2010), 1
Joan Gispert, Antoni Torrens, “Boolean representation of bounded BCK-algebras”, Soft Comput, 12:10 (2008), 941
W. J. BLOK, J. G. RAFTERY, “ASSERTIONALLY EQUIVALENT QUASIVARIETIES”, Int. J. Algebra Comput., 18:04 (2008), 589
Joan Gispert, Antoni Torrens, “Bounded BCK‐algebras and their generated variety”, Mathematical Logic Qtrly, 53:2 (2007), 206