Improving search efficiency using possible subgoals
scientific article; zbMATH DE number 838700