Hidayat, Taufiq, Asmala bin Ahmad, and Mohammad Ishak bin Desa. “Non-Redundant Implicational Base of Many-Valued Context Using SAT”. COMPUTING AND INFORMATICS 40, no. 2 (October 12, 2021): 368–386. Accessed July 4, 2022. https://www.cai.sk/ojs/index.php/cai/article/view/2021_2_368.