Generalizing Conjunctive Query Containment for View Maintenance and Integrity Constraint Verification (Abstract).
A. Gupta, and J. Ullman. Workshop on Deductive Databases, JICSLP, volume CITRI/TR-92-65 of Technical Report, page 195. Department of Computer Science, University of Melbourne, (1992)