The Program Complexity of Searching a Table Harry G. Mairson 40-47 conf/focs/FOCS24 1983 FOCS db/conf/focs/focs83.html#Mairson83