John C. Mitchell. Inference Rules for Functional and Inclusion Dependencies. In Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia. pages 58-69, ACM, 1983. [doi]
Abstract is missing.