Hidayat, T., bin Ahmad, A. and Ishak bin Desa, M. (2021) “Non-Redundant Implicational Base of Many-Valued Context Using SAT”, Computing and Informatics, 40(2), pp. 368–386. doi: 10.31577/cai_2021_2_368.