Bounding the Depth of Search Trees
scientific article; zbMATH DE number 6807076