1.
Hidayat T, bin Ahmad A, Ishak bin Desa M. Non-Redundant Implicational Base of Many-Valued Context Using SAT. CAI [Internet]. 2021Oct.12 [cited 2022Jul.4];40(2):368–386. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2021_2_368