Peter Weiner 1-11 conf/focs/FOCS14 1973 FOCS db/conf/focs/focs73.html#Weiner73