Jean-Marie Nicolas. First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. In Eugene I. Lowenthal, Nell B. Dale, editors, Proceedings of the 1978 ACM SIGMOD International Conference on Management of Data, Austin, Texas, May 31 - June 2, 1978. pages 40-46, ACM, 1978. [doi]
Abstract is missing.