Catriel Beeri Moshe Y. Vardi The Implication Problem for Data Dependencies. 73-85 1981 conf/icalp/1981 ICALP db/conf/icalp/icalp81.html#BeeriV81 http://dx.doi.org/10.1007/3-540-10843-2_7