Embedded implicational dependencies and their inference problemAshok K. ChandraHarry R. Lewiset al.1981STOC 1981