The UCPOP planner
