Gottlob Georg; Libkin Leonid O.: Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. In: Acta cybernetica, (9) 4. pp. 385-402. (1990)