Problem representations and formal properties of heuristic search
scientific article; zbMATH DE number 3560797