Downward refinement and the efficiency of hierarchical problem solving
scientific article; zbMATH DE number 708641
scientific article