The implication problem for data dependencies (1981)

by BV81 C Beeri, M Vardi
Venue:In ICALP’81, volume 115 of LNCS