Traczyk, Zarębski, 1985. Convex Congruences on BCK-Algebras 18.. https://doi.org/10.1515/dema-1985-0123