doi dblp Stopping rules and their effect on expected search length Donald H. Kraft | T. Lee 1979 Volume 15 Issue 1