Using regression-match graphs to control search in planning
scientific article; zbMATH DE number 1306069