G. Gottlob and L. O. Libkin, “Investigations on Armstrong relations, dependency inference, and excluded functional dependencies”, Acta Cybern, vol. 9, no. 4, pp. 385-402, Jan. 1990.