Semisimplicity and the discriminator in bounded BCK-algebras | Publicación