Hidayat, T., Ahmad, A. b., & Desa, M. I. b. (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