Implicative commutative semigroups are equivalent to a class of BCK algebras. J. Meng — 1995 Semigroup forum