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 April 30, 2025. https://www.cai.sk/ojs/index.php/cai/article/view/2021_2_368.