Gottlob, Georg, and Leonid O. Libkin. 1990. “Investigations on Armstrong Relations, Dependency Inference, and Excluded Functional Dependencies”. Acta Cybernetica 9 (4), 385-402. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3383.