The implication problem for data dependencies (1981)

by C Beeri, M Y Vardi
Venue:In Proc. ICALP1981