M. Alatar and A. Sali, “Algorithmic Perspective of Strongly Possible Keys and Functional Dependencies”, IJCAI, vol. 48, no. 4, Jan. 2025.