Peter Honeyman Losslessly Joining Relations in Polynomial Time. 1980 conf/xp/1980 XP1 Workshop on Database Theory db/conf/xp/xp1980.html#Honeyman80