(1)
Hidayat, T.; bin Ahmad, A.; Ishak bin Desa, M. Non-Redundant Implicational Base of Many-Valued Context Using SAT. CAI 2021, 40, 368–386.