Hidayat, Taufiq, Asmala bin Ahmad, and Mohammad Ishak bin Desa. 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.