Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning
scientific article; zbMATH DE number 1953616