Hidayat T, bin Ahmad A, Ishak bin Desa M. Non-Redundant Implicational Base of Many-Valued Context Using SAT. Comput. Inform. [Internet]. 2021 Oct. 12 [cited 2024 Nov. 22];40(2):368–386. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2021_2_368