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 Apr. 24];40(2):368–386. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2021_2_368