Title: Utilizing Problem Structure in Planning
Subjects: Methodology, Planning, Proof theory, Problem solving