A proof procedure for data dependencies (1984)

by C Beeri, M Y Vardi
Venue:JACM