J. Neggers and H. S. Kim introduced in [9] and
investigated a class of algebras which is related to several classes of algebras
of interest such as BCH=BCI=BCK-algebras and which seems to have
rather nice properties without being excessively complicated otherwise.