Demetrovics, J. and Thi, V.D. 2012. Armstrong Relations, Functional Dependencies and Strong Dependencies. Computing and Informatics. 14, 3 (Jan. 2012), 279–298.