1. Solution of Ulam's Problem on Binary Search with Four Lies Auletta, Vincenzo; Negro, Alberto; Parlati, Giuseppe 1993 Reports Computer science