Hidayat, T. et al. 2021. Non-Redundant Implicational Base of Many-Valued Context Using SAT. COMPUTING AND INFORMATICS. 40, 2 (Oct. 2021), 368–386. DOI:https://doi.org/10.31577/cai_2021_2_368.