T. Hidayat, A. bin Ahmad, and M. Ishak bin Desa, “Non-Redundant Implicational Base of Many-Valued Context Using SAT”, Comput. Inform., vol. 40, no. 2, pp. 368–386, Oct. 2021.