J. Demetrovics and V. D. Thi, “Armstrong Relations, Functional Dependencies and Strong Dependencies”, Comput. Inform., vol. 14, no. 3, pp. 279–298, Jan. 2012.