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