David S. Johnson, Anthony C. Klug. Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. In Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California. pages 164-169, ACM, 1982. [doi]