[1]
Hidayat, T., bin Ahmad, A. and Ishak bin Desa, M. 2021. Non-Redundant Implicational Base of Many-Valued Context Using SAT. COMPUTING AND INFORMATICS. 40, 2 (Oct. 2021), 368–386. DOI:https://doi.org/10.31577/cai_2021_2_368.