Title: Constraint logic planning
Subtitle: a formal framework for nonlinear planning.