The Bottom of the Lattice of BCK-varieties.

Tomasz Kowalski The Bottom of the Lattice of BCK-varieties. 87-93 1995 29 Reports on Mathematical Logic db/journals/rml/rml29.html#Kowalski95