Heuristic planning: A declarative approach based on strategies for action selection
scientific article; zbMATH DE number 5003941