Aproofprocedure for data dependencies (1984)

by Catriel Beeri, Moshe Y Vardi
Venue:Journal of the ACM