Catriel Beeri Ronald Fagin David Maier Alberto O. Mendelzon Jeffrey D. Ullman Mihalis Yannakakis 355-362 conf/stoc/STOC13 1981 STOC db/conf/stoc/stoc81.html#BeeriFMMUY81