Linearization of the BCK-logic | Publicación