Automatically generating abstractions for planning
scientific article; zbMATH DE number 633653
scientific article