"Inclusion Dependencies and the Universal Instance."

Edward Sciore (1983)
a service of Schloss Dagstuhl - Leibniz Center for Informatics