Lim Chong Rock
Kim Hee Sik
Rough ideals in BCK/BCI-algebras