Joan Gispert Antoni Torrens Bounded BCK-algebras and their generated variety. 206-213 2007 53 Math. Log. Q. 2 http://dx.doi.org/10.1002/malq.200610040 db/journals/mlq/mlq53.html#GispertT07