@article{GDZPPN001263900, title = {Implicative commutative semigroups are equivalent to a class of BCK algebras.}, journal = {Semigroup forum}, volume = {51}, year = {1995}, pages = {89-96}, zbl = {0807.06011}, url = {http://dml.mathdoc.fr/item/GDZPPN001263900} }
Meng, J. Implicative commutative semigroups are equivalent to a class of BCK algebras.. Semigroup forum, Tome 51 (1995) pp. 89-96. http://gdmltest.u-ga.fr/item/GDZPPN001263900/