Boolean representation of bounded BCK-algebras | Publicación