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