A generalization of binary search, in "Algorithms and Data Structures (0)

by R M Karp