Ashok K. Chandra Harry R. Lewis Johann A. Makowsky Embedded Implicational Dependencies and their Inference Problem. 1980 conf/xp/1980 XP1 Workshop on Database Theory db/conf/xp/xp1980.html#ChandraLM80