Iterative-deepening search with on-line tree size prediction
scientific article; zbMATH DE number 6308987