@Article{ GARCÍA:31-51,

author = { FCO. MIGUEL GARCÍA OLMEDO } ,

title = { Linearization of the BCK-logic },

journal = { Studia Logica },

year = { 2000 },

volume = { 65 },

pages = { 31-51 },

}