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 May 14, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2021_2_368.