TY  - JOUR
AU  - B. Wozniakowska
TI  - Finitely axiomatizable varieties of BCK-algebras.
JO  - Semigroup forum
PY  - 1985
SP  - 361
EP  - 366
VL  - 31
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SF_1985__31_134759/
ID  - SF_1985__31_134759
ER  -