BCK-Algebras and Related Algebraic Systems. (28th March 2012) - Jun, Young Bae