Moshe Dubiner Zvi Galil Edith Magen 145-150 conf/focs/FOCS31a 1990 FOCS db/conf/focs/focs90.html#DubinerGM90