Hidayat, Taufiq, et al. “Non-Redundant Implicational Base of Many-Valued Context Using SAT”. Computing and Informatics, vol. 40, no. 2, Oct. 2021, pp. 368–386, doi:10.31577/cai_2021_2_368.