Baruch Awerbuch Yair Bartal Amos Fiat 22-31 conf/focs/FOCS34 1993 FOCS db/conf/focs/focs93.html#AwerbuchBF93