David G. Kirkpatrick 18-27 conf/focs/FOCS20 1979 FOCS db/conf/focs/focs79.html#Kirkpatrick79