Declarative formalization of reasoning strategies: A case study on heuristic nonlinear planning

From MaRDI portal