Catriel Beeri Alberto O. Mendelzon Yehoshua Sagiv Jeffrey D. Ullman 319-329 conf/stoc/STOC11 1979 STOC db/conf/stoc/stoc79.html#BeeriMSU79