@article{AUPO_2004__43_1_a2,
     author = {Celani, Sergio A.},
     title = {Deductive systems of {BCK-algebras}},
     journal = {Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica},
     pages = {27--32},
     publisher = {mathdoc},
     volume = {43},
     number = {1},
     year = {2004},
     mrnumber = {2124600},
     zbl = {1069.06010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPO_2004__43_1_a2/}
}