Daniel J. Lehmann Michael B. Smyth 7-12 conf/focs/FOCS18 1977 FOCS db/conf/focs/focs77.html#LehmannS77