@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 },
}