Vincent Vidal Hector Geffner Branching and pruning: An optimal temporal POCL planner based on constraint programming. 298-335 2006 170 Artif. Intell. 3 http://dx.doi.org/10.1016/j.artint.2005.08.004 db/journals/ai/ai170.html#VidalG06