Landmark-enhanced abstraction heuristics
scientific article; zbMATH DE number 6106693
scientific article